Max-plus semiring

  • To an embedded anchor: This is a redirect from a topic that does not have its own page to an embedded anchor on the redirect's target page.
    • An {{anchor|anchor name}} or {{visible anchor}} template, an HTML element with id="anchor name", or an |id=anchor name parameter can be placed at the beginning of a paragraph, substituted into a section header, or inserted within a table. Anchors may also be old section headers that have since been renamed, in order to preserve existing internal and external links.
    • Although section headers of the form ==(Header name)== act as anchors by default, with them use {{R to section}} instead.
  • From an alternative name: This is a redirect from a title that is another name or identity such as an alter ego, a nickname, or a synonym of the target, or of a name associated with the target.
    • This redirect leads to the title in accordance with the naming conventions for common names to aid searches and writing. It is not necessary to replace these redirected links with a piped link.
    • If this redirect is an incorrect name for the target, then {{R from incorrect name}} should be used instead.