Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
at devShellTools-shell 19 lines 733 B view raw
1--- a/doc/eukleides.texi 2+++ b/doc/eukleides.texi 3@@ -6,12 +6,12 @@ 4 5 % ------------------------------------------------------------------------------ 6 7-\def\LaTeX{L\kern-.34em\raise.49ex\hbox{\sevenrm A}\kern-.18em\TeX} 8-\def\mdeg{$^\circ$} 9+\def\LaTeX@{L\kern-.34em\raise.49ex\hbox@{\sevenrm A@}\kern-.18em\TeX@} 10+\def\mdeg@{$^\circ$@} 11 \font\degfont=cmtt8 12-\def\deg{\raise.7ex\hbox{\degfont o}} 13-\def\exm#1{\noindent{\textit Example:}\quad{\texttt #1}} 14-\def\exmp{\noindent{\textit Example:}} 15+\def\deg@{\raise.7ex\hbox@{\degfont o@}@} 16+\def\exm#1@{\noindent@{\textit Example:@}\quad@{\texttt #1@}@} 17+\def\exmp@{\noindent@{\textit Example:@}@} 18 19 % ------------------------------------------------------------------------------