Lines Matching full:10003
6798 \defunpenalty=10003 % Will keep this @deffn together with the6810 % with penalty of 10003 after the very first @deffn in the
