Template:!: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m 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 ...
(No difference)

Revision as of 16:36, 18 September 2008

|

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).