Template:!

From Event-B
Revision as of 16:36, 18 September 2008 by imported>Mathieu (New page: |<noinclude> This is the <pre><nowiki>{{!}}</nowiki></pre> meta-template. This is an auxiliary template allowing to encode "<code>|</code>" within template parameters. It is necessary if ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

|

This is the

{{!}}

meta-template.

This is an auxiliary template allowing to encode "|" within template parameters. It is necessary if the character is used in wiki table syntax, or if the parameter is automatically wikilinked and you wish to use a pipe to specify different link text from the target page name. In other cases it is better to use "&#124;".

This template cannot be used for putting the character as text in a wiki table; in that case, again, "&#124;" can be used.

Note that no special template is needed for "!" (exclamation mark).