\series bold
\newline
-{G
-\begin_inset ERT
-status Collapsed
-
-\layout Standard
-|
-\end_inset
-
- F<Filename>
-\begin_inset ERT
-status Collapsed
-
-\layout Standard
-|
-\end_inset
-
- L { <function>
-\begin_inset ERT
-status Collapsed
-
-\layout Standard
-|
-\end_inset
-
-
+{ G | F<Filename> | L { <function> |
\begin_inset Quotes eld
\end_inset
\series bold
\newline
-{G
-\begin_inset ERT
-status Collapsed
-
-\layout Standard
-|
-\end_inset
-
- F<Filename>
-\begin_inset ERT
-status Collapsed
-
-\layout Standard
-|
-\end_inset
-
- L { <function>
-\begin_inset ERT
-status Collapsed
-
-\layout Standard
-|
-\end_inset
-
-
+{ G | F<Filename> | L { <function> |
\begin_inset Quotes eld
\end_inset
\series bold
\newline
-{<G>
-\begin_inset ERT
-status Collapsed
-
-\layout Standard
-|
-\end_inset
-
- F<filename>
-\begin_inset ERT
-status Collapsed
-
-\layout Standard
-|
-\end_inset
-
- L<function> }
+{ <G> | F<filename> | L<function> }
\newline
<$><name>
\newline
\series bold
\newline
-{ <G>
-\begin_inset ERT
-status Collapsed
-
-\layout Standard
-|
-\end_inset
-
- F<filename>
-\begin_inset ERT
-status Collapsed
-
-\layout Standard
-|
-\end_inset
-
- L<functionName> }
+{ <G> | F<filename> | L<functionName> }
\newline
<$><name>
\newline