exit 1
Y.thy:6:20: non-ascii: non-ASCII character '⇒' (U+21D2); write \<Rightarrow> [*]
--- stderr
fixed 2 findings
1 finding: 1 non-ascii
1 with --fix=all
