diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/kuvio/doc-src/tdwk/eg17.kdg')
-rw-r--r-- | Master/texmf-dist/source/latex/kuvio/doc-src/tdwk/eg17.kdg | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/texmf-dist/source/latex/kuvio/doc-src/tdwk/eg17.kdg b/Master/texmf-dist/source/latex/kuvio/doc-src/tdwk/eg17.kdg deleted file mode 100644 index 90fee3a3341..00000000000 --- a/Master/texmf-dist/source/latex/kuvio/doc-src/tdwk/eg17.kdg +++ /dev/null @@ -1 +0,0 @@ -\Dg & F & _{\cod u} & \rEq & F & _{\cod u} & & & F_i \\ & \uTo >{p_u} & & & \uTo & & & \ruTo <{p_i} \tx {-5pt} & \uDashto >{\mu _i} \\ {\mit \Pi }_{u:j\to k}F_k = {\mit \Pi }_u & F & _{\cod u} & \lTo ^f \up {3pt} \lTo _g \up {-3pt} & {\mit \Pi }_i & & F_i & \lDashto ^e & d \\ & \dTo >{p_u} & & & \dTo >{p_{\dom u}} \\ & F & _{\cod u} & \lTo ^{Fu} & F & _{\dom u} \\ \endDg |