Proofsymbols