כדי לסמן פרוב תוך כדי סינטזה נשתמש ב: