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 ...
 
imported>Mathieu
mNo edit summary
 
Line 1: Line 1:
|<noinclude>
|<noinclude>
This is the <pre><nowiki>{{!}}</nowiki></pre> meta-template.
This is the <nowiki>{{!}}</nowiki> meta-template.


This is an auxiliary template allowing to encode "<code>|</code>"
This is an auxiliary template allowing to encode "<code>|</code>"

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