いや、Altキーもニュースグループのaltもオルトで良いって。

http://dictionary.goo.ne.jp/search.php?MT=alt&kind=ej