theory Test
  imports Main
begin

term \<open>x\<^latex>\<open>%ignored @{text}
\<close>\<close>

end
