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.

وذلك ما كان ينبغي أن نبيّنه‘Q.E.D.’

Arabic

References: Alm. MS Tunis:
Translation of:
Greek: ὅπερ ἔδει δεῖξαι [Alm. Heiberg: I.13, 71:13; I.14, 78:24]
Synonyms:
وذلك ما أردنا أن نبيّن[Alm. MS Leiden: f. 11r, 11v]
وذلك ما أردنا أن نبيّن[Alm. MS Leiden: f. 11r]
وذلك ما قصدنا أن نبيّنه[Alm. MS Tunis: 14b.2]
وذلك ما كان يجب أن نبيّن[Alm. MS Tunis: 16b.4]
وذلك ما كان ينبغي أن نبيّن[Alm. MS Leiden: f. 13r]
وهذه هي الأشياء التي كان قصدنا تبيّنها[Alm. MS Tunis: ]