0013login:Penguin垢版 | 大砲2018/04/30(月) 19:57:38.47ID:9dK4CZYO @(#) という文字がヘルプテキストの行頭にあるコマンドがたまにありますが (`$ dvi2tty -h`など) あれはどういう意味なんでしょうか。 個人的な予想だとあの行には要約が書かれているので何らかのパーサーに向けているのかと思いました。