|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-angg "bin/dednat5")
% (find-dn5 "tests/")
% (find-LATEX "2011ebl-slides.tex")
% (find-angg ".emacs.papers" "pgf")
% (find-pgfmanualpage 146 "15 Nodes and Edges")
% (find-pgfmanualtext 146 "15 Nodes and Edges")
% (find-pgfmanualpage 151 "\\node {abc}")
% (find-pgfmanualtext 151 "\\node {abc}")
% (find-pgfmanualpage 157 "\\node (somenode) at (1,1)")
% (find-pgfmanualtext 157 "\\node (somenode) at (1,1)")
% (find-angg "LATEX/test1.tex")
% (find-dn4ex "edrx08.sty")
% (find-angg ".emacs.templates" "s2008a")
% (defun c () (interactive) (find-zsh "cd ~/TIKZ/ && dednat5 -t test1.tex && latex test1.tex" 1 '(eek "M->")))
% (defun cp () (interactive) (find-zsh "cd ~/TIKZ/ && dednat5 -t test1.tex && pdflatex test1.tex" 1 '(eek "M->")))
% (defun cp () (interactive) (find-zsh "cd ~/TIKZ/ && dednat5 -t test1.tex && pdflatex test1.tex"))
% (defun c () (interactive) (find-zsh "cd ~/LATEX/ && ~/dednat4/dednat41 test1.tex && latex test1.tex"))
% (defun c () (interactive) (find-zsh "cd ~/LATEX/ && ~/dednat4/dednat41 test1.tex && pdflatex test1.tex"))
% (eev "cd ~/LATEX/ && Scp test1.{dvi,pdf} edrx@angg.twu.net:slow_html/LATEX/")
% (defun d () (interactive) (find-dvipage "~/TIKZ/test1.dvi"))
% (defun dp () (interactive) (find-xpdfpage "~/TIKZ/test1.pdf"))
% (find-dvipage "~/LATEX/test1.dvi")
% (find-pspage "~/LATEX/test1.pdf")
% (find-xpdfpage "~/LATEX/test1.pdf")
% (ee-cp "~/LATEX/test1.pdf" (ee-twusfile "LATEX/test1.pdf") 'over)
\documentclass[oneside]{book}
\usepackage[latin1]{inputenc}
\def\NOEDRXDNT{NOREDEF}
\usepackage{edrx08} % (find-dn4ex "edrx08.sty")
%%L process "edrx08.sty" -- (find-dn4ex "edrx08.sty")
%\input edrxheadfoot.tex % (find-dn4ex "edrxheadfoot.tex")
\input test1.dnt
\usepackage{tikz}
% \usepackage{tikz,tikz-cd}
\usetikzlibrary{matrix,arrows,fit,decorations.pathmorphing}
\begin{document}
\def\sm#1{abc}
%L forths["sl^^"] = function () ds:pick(0).slide = "5pt" end
%L forths["sl^"] = function () ds:pick(0).slide = "2.5pt" end
%L forths["sl_"] = function () ds:pick(0).slide = "-2.5pt" end
%L forths["sl__"] = function () ds:pick(0).slide = "-5pt" end
%L forths["<-"] = function () pusharrow("<-") end
%L forths["<-|"] = function () pusharrow("<-|") end
%L forths["<--"] = function () pusharrow("<--") end
%L forths[".PLABEL="] = function ()
%L ds:pick(0).lplacement = getword()
%L ds:pick(0).label = getword()
%L end
%%L forths[".PLABEL="] = function () PP(getword(), getword()) end
% (find-es "lua5" "setvbuf")
%L io.stdout:setvbuf("no")
%L _arrow_to_TeX = function (arrow)
%L local node1 = nodes[arrow.from]
%L local node2 = nodes[arrow.to]
%L local x1, y1 = realxy(node1.x, node1.y)
%L local x2, y2 = realxy(node2.x, node2.y)
%L local dx, dy = x2 - x1, y2 - y1
%L local N1 = node_to_TeX(node1)
%L local N2 = node_to_TeX(node2)
%L local Label = arrow.Label or (arrow.label and unabbrev(arrow.label))
%L local L = Label and "{"..Label.."}" or ""
%L --
%L PP(L)
%L --
%L local p = arrow.placement and "|"..arrow.placement.."|" or ""
%L local shape = arrow.shape or "->"
%L local slide = arrow.slide and "@<"..arrow.slide..">"
%L local curve = arrow.curve and "@/"..arrow.curve.."/"
%L -- local lplace = arrow.lplacement and arrow.lplacement.."{"..label.."}"
%L local lplace = arrow.lplacement and arrow.lplacement..L
%L -- PP(lplace)
%L local sh
%L if slide or curve or lplace then
%L sh = format("/{@{%s}%s%s%s}/", shape,
%L (lplace or ""), (slide or ""), (curve or ""))
%L else
%L sh = "/"..shape.."/"
%L end
%L if lplace then p = "||"; L = "" end
%L --
%L return format("\\morphism(%d,%d)%s%s<%d,%d>[%s`%s;%s]",
%L x1, y1, p, sh, dx, dy, N1, N2, L)
%L end
%:*->*\to *
%:*|-*\vdash *
%%D diagram app-new
%%D 2Dx 100 +60 +60 +40
%%D 2D 100 A A'
%%D 2D / | \
%%D 2D / | \
%%D 2D v v v
%%D 2D +40 B <- BCB <- BC
%%D 2D | |
%%D 2D | |
%%D 2D v v
%%D 2D +40 C |-> BC' C'
%%D 2D
%%D (( BCB .tex= (B{->}C){×}B
%%D BC .tex= B{->}C
%%D BC' .tex= B{->}C
%%D A B -> .plabel= l a|-b
%%D # A BCB -> .plabel= m a|-(f,b)
%%D A BCB -> .plabel= m \sm{(a|-(f,b))\;:=\\\ang{(a|-f),(a|-b)}}
%%D A BCB -> .plabel= m \sm{(a|-(f,b))\;:=\ang{(a|-f),(a|-b)}}
%%D A BCB -> .plabel= r \sm{(a|-(f,b))\;:=\ang{(a|-f),(a|-b)}}
%%D A BCB -> .plabel= r abcdef
%%D A BC -> .plabel= r a|-f
%%D # BCB B -> .plabel= a '_{B(B{->}C)}
%%D BCB B -> .PLABEL= _(0.52) '_{B(B{->}C)}
%%D BCB BC -> sl^ .plabel= a _{B(B{->}C)}
%%D BCB BC <-| sl_ .plabel= b (×B)
%%D BCB C -> .plabel= l \sm{\ev_{BC}\;:=\\(\id_{B{->C}})^\flat}
%%D BC BC' -> .plabel= r \id_{B{->}C}
%%D C BC' -> .plabel= b (B{->})
%%D BCB BC' harrownodes nil 20 nil <-| .plabel= a \flat
%%D A' .tex= A
%%D C' .tex= C
%%D A' C' --> .plabel= m \sm{(a|-fb)\;:=\\(a|-(f,b));\ev_{BC}}
%%D ))
%%D enddiagram
%%D
%$$\diag{app-new}$$
%D diagram ??
%D 2Dx 100 +30
%D 2D 100 LA A
%D 2D
%D 2D +20 B RB
%D 2D
%D (( A LA ->
%D B RB ->
%D ))
%D enddiagram
%D
$$\diag{??}$$
% (find-angg "MINICATS/categoria66.tex")
Foo:
\begin{center}
\begin{tikzpicture} [node distance=.5in]
\node (a) {$a$};
\draw [->,in=120,out=60,distance=.3in] (a) to node {} (a);
\node at (a) {} edge [->,loop,distance=.3in] (a);
\node (b) [below left of=a] {$b$};
\draw [->,in=220,out=140,distance=.6in] (b) to node {} (b);
\draw [->,in=200,out=160,distance=.3in] (b) to node {} (b);
\node (c) [below right of=a] {$c$};
\node (d) [below of=b] {$d$};
\node (e) [below of=c] {$e$};
\node (f) [below of=a,node distance=.6in] {$f$};
\draw [->] (a) to node {} (b);
\draw [->] (a) to node {} (c);
\draw [->] (a) to node {} (f);
\draw [->] (b) to node {} (f);
\draw [->,bend right=30] (d) to node {} (e);
\draw [->,bend right=30] (e) to node {} (d);
\draw [->] (b) to node {} (d);
\draw [->] (e) to node {} (c);
\draw [->,bend left=30] (c) to node {} (e);
\draw [->,bend right=30] (c) to node {} (e);
\node (C) [above right of=c] {$cC$};
\end{tikzpicture}
\end{center}
Bar
% (find-dn4ex "edrx08.sty" "colors")
\edrxcolors
\def\bhbox{\bicolorhbox}
hello
\bhbox{%
\begin{tikzpicture}
\node (X) at (1,3) {X};
\node (U) at (0,2) {U};
\node (V) at (2,2) {V};
\node (W) at (1,1) {W};
\node (O) at (1,0) {O};
\draw [->] (X) to node {} (U);
\draw [->] (X) to node {} (V);
\draw [->] (U) to node {} (W);
\draw [->] (V) to node {} (W);
\draw [->] (W) to node {fou} (O);
\end{tikzpicture}%
}bye
\end{document}
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
cd ~/TIKZ/
dednat5 -t test1.tex
% Local Variables:
% coding: raw-text-unix
% ee-anchor-format: "«%s»"
% End: