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