PAL

Ptolemaeus Arabus et Latinus

_ (the underscore) is the placeholder for exactly one character.
% (the percent sign) is the placeholder for no, one or more than one character.
%% (two percent signs) is the placeholder for no, one or more than one character, but not for blank space (so that a search ends at word boundaries).

At the beginning and at the end, these placeholders are superfluous.

theorem ‘lemma’

English

References: Alm. Toomer: 67
Translation of:
Greek: λημμάτιον [Alm. Heiberg: I.10, 36:10-11; I.10, 43:3; I.13, 73:4]
Synonyms:
(preliminary) theorem[Alm. Toomer: 50-51]
lemma[Alm. Toomer: 54]