18/01/01 20:49:39.14 .net
>>273-760
あけましておめでとうございます
>>749
$ \tex <<-EOF > /dev/null 2>&1 && \dvi2tty ./texput.dvi
> \nopagenumbers
> \noindent
> \tt\meaning\someCS
> \end
> EOF
\someCS に好きなコントロールシーケンスを入れれば標準出力にその定義が出力されるぜよ
TeXLive2017 あたりなら確実にいける
18/01/01 20:49:39.14 .net
>>273-760
あけましておめでとうございます
>>749
$ \tex <<-EOF > /dev/null 2>&1 && \dvi2tty ./texput.dvi
> \nopagenumbers
> \noindent
> \tt\meaning\someCS
> \end
> EOF
\someCS に好きなコントロールシーケンスを入れれば標準出力にその定義が出力されるぜよ
TeXLive2017 あたりなら確実にいける