REPSYMBOL : replaceable symbol

Basic Abbreviations

• and
• implies
• or
• subset

ETPS documentation homepage

TPS homepage