REPSYMBOL : replaceable symbol

Basic Abbreviations

• and
• implies
• or
• subset

TPS documentation homepage

TPS homepage