[mkorfmann]

Then it is also almost like a two-factor definition. Once it is defined through the symbol and twice through the easy, canonical easy language explanation. The easy language explanation must also be specced then.