Set of symbols
<No formulations for this definition yet>