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: 14b.2
Translation of:
Greek: ὅπερ προέκειτο δεῖξαι [Alm. Heiberg: I.13, 69:20; I.13, 76:9]
Synonyms:
وذلك ما أردنا أن نبيّن[Alm. MS Leiden: f. 11r, 11v]
وذلك ما أردنا أن نبيّن[Alm. MS Leiden: f. 11r]
وذلك ما كان يجب أن نبيّن[Alm. MS Tunis: 16b.4]
وذلك ما كان ينبغي أن نبيّن[Alm. MS Leiden: f. 13r]
وذلك ما كان ينبغي أن نبيّنه[Alm. MS Tunis: ]
وهذه هي الأشياء التي كان قصدنا تبيّنها[Alm. MS Tunis: ]