| Run TeX with the plain format preloaded
| Can also be called like TeX &texinfo mydoc.texi
WimpSlot 3800k
Set TeXFormats$Path texmf:armtex.format.
bigvirtex %*0