theory Test
imports Pure
begin

type_notation (latex) "fun"  (\<open>(_/ \<^latex>\<open>{\isasymlongrightarrow}\ignore{\<close>aa\<^latex>\<open>}\<close> _)\<close> [1, 0] 0)

text \<open>
  @{typ [margin = 40, display] \<open>'a \<Rightarrow> 'a \<Rightarrow> 'a \<Rightarrow> 'a \<Rightarrow> 'a \<Rightarrow> 'a \<Rightarrow> 'a \<Rightarrow> 'a \<Rightarrow> 'a \<Rightarrow> 'a \<Rightarrow> 'a \<Rightarrow> 'a\<close>}
\<close>

end
