🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: de.comp.tex
Article #1166

Widerspruch als Makro

#1166
From: Nils Magnus, KL-Info
Date: Tue, 17 Nov 1992 18:57
28 lines
1629 bytes
Moin!

Ich suche ein Makro, mit dem man in Widerspruchsbeweisen andeuten kann,
dass man den Widerspruch gefunden hat. Irgendwie sowas:

       |
       |/|
         |
         \/

Oder gibt es dass in den Standard-Makro-Sammlungen schon? Auf jeden Fall
behauptet der Assistent unserer Vorlesung das Gegenteil. Ich suche keinen neuen
Font oder sowas, sondern halt nur dieses einzelne Symbol, das wird man doch mit
5 Strichen hinbekommen oder? Ich selbst bin eigentlich kein TeX-Wizard, also
verschone man mich bitte mit tiefergehenden Betrachtungen. Wer sowas hinbekommt
und mir das sogar noch zumailen koennte, da ich de.comp.tex nicht regelmaessig
lese, dem sei hier schon besonders herzlich gedankt.

Viele Gruesse,

///Nils

-----------------------------------------------------------------------
Nils Magnus, Campus Information System Kaiserslautern, Germany
Email: n_magnus@informatik.uni-kl.de (Internet)
       FEANOR@KISTE.ZER (Z-Netz) Feanor@Nightfall, Apocalypse
Voice: +49 631 24249
---------------------------NOTE: THIS IS MY PERSONAL OPINION ONLY-----
Technical Details
Message-ID: <1992Nov17.185703.26294@rhrk.uni-kl.de>
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!news.netmbx.de!math.fu-berlin.de!news.uni-ulm.de!rz.uni-karlsruhe.de!stepsun.uni-kl.de!aix3.rhrk.uni-kl.de!klihelp1

Show Full Headers
Complete Article Headers
Newsgroups: de.comp.tex
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!Germany.EU.net!news.netmbx.de!math.fu-berlin.de!news.uni-ulm.de!rz.uni-karlsruhe.de!stepsun.uni-kl.de!aix3.rhrk.uni-kl.de!klihelp1
From: klihelp1@rhrk.uni-kl.de (Nils Magnus, KL-Info)
Subject: Widerspruch als Makro 
Message-ID: <1992Nov17.185703.26294@rhrk.uni-kl.de>
Keywords: Makro, Widerspruch
Sender: klihelp1@aix3.rhrk.uni-kl.de (Nils Magnus KL-Info)
Organization: University of Kaiserslautern, Germany
Distribution: eunet
Date: Tue, 17 Nov 1992 18:57:03 GMT
Lines: 28