Plain.tex doesn't allow two accents. You need something like this:
% file diatop.sty
% I use Christina Thiele's useful macro diatop.sty, which was published in
% her paper in the proceedings of the 1987 TeX Users Group. Here it is:
%
\def\diatop[#1|#2]{\leavevmode{\setbox1=\hbox{{#1{}}}\setbox2=
As Ulrike
says, this is really a font problem anyway, it should be solved only for
documents that use that font (or by changing the font, of course).
Your are absolutely right. And thanks for the hints.
Jürgen
- Nachricht von Arthur Reutenauer
-
Datum: Thu, 10 Sep 2015 14:3
