@14⦊
@11,12⦊
@13⦊
Ord
⦉@13
⦉@11,12
⦉@14
@15⦊
‸
⦉@15