File:LL deMorgan.png
From Wikimedia Commons, the free media repository
Jump to navigation
Jump to search
LL_deMorgan.png (130 × 85 pixels, file size: 1 KB, MIME type: image/png)
File information
Structured data
Captions
This image shows some kind of formula that could be converted to TeX. Storing formulas as images makes it harder to change them. TeX also helps making sure that they all use the same font and size.
A replacement has been proposed: In your article, replace the image with: <math>\begin{align}(A^\perp)^\perp&\equiv A \\ (A\otimes B)^\perp&\equiv A^\perp\,\wp\,B^\perp \\ (A\oplus B)^\perp&\equiv A^\perp\,\&\,B^\perp \\ (!A)^\perp&\equiv\,?A^\perp\end{align}</math> Deutsch ∙ English ∙ italiano ∙ magyar ∙ Nederlands ∙ polski ∙ sicilianu ∙ svenska ∙ Ελληνικά ∙ български ∙ македонски ∙ русский ∙ 日本語 ∙ فارسی ∙ /− |
Summary
[edit]DescriptionLL deMorgan.png | Mathematical formula: Linear Logic de Morgan laws |
Date | |
Source | tex file |
Author | Laurent Regnier |
Licensing
[edit]Public domainPublic domainfalsefalse |
I, the copyright holder of this work, release this work into the public domain. This applies worldwide. In some countries this may not be legally possible; if so: I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law. |
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 13:17, 4 January 2006 | 130 × 85 (1 KB) | Lregnier (talk | contribs) | {{Information |Description = Mathematical formula: Linear Logic de Morgan laws |Source = tex file |Date = 2006/01/04 |Author = Laurent Regnier |other_versions = <i>none</i> |}} |
You cannot overwrite this file.
File usage on Commons
The following 4 pages use this file:
File usage on other wikis
The following other wikis use this file:
- Usage on hy.wikipedia.org
- Usage on ru.wikipedia.org