Lines Matching refs:fun
2856 % ctrl is no longer a Texinfo command, but leave this definition for fun.
