File:LL deMorgan.png

LL_deMorgan.png(130 × 85 pixels, file size: 1 KB, MIME type: image/png)

Captions

Captions

Add a one-line explanation of what this file represents
TeX logo
TeX logo
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

Description Mathematical formula: Linear Logic de Morgan laws
Date
Source tex file
Author Laurent Regnier

Licensing edit

Public domain 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/TimeThumbnailDimensionsUserComment
current13:17, 4 January 2006Thumbnail for version as of 13:17, 4 January 2006130 × 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> |}}

File usage on other wikis

The following other wikis use this file: