@17⦊
@14,15⦊
@16⦊
PartialOrd
⦉@16
⦉@14,15
⦉@17
@18⦊
‸
⦉@18