Formal_notation