CTAN sync 202005140302

2 files changed, 84 insertions, 0 deletions

diff --git a/support/tikztosvg/example/example.svg b/support/tikztosvg/example/example.svg
new file mode 100644
index 0000000000..4de0d5e53e
--- /dev/null
+++ b/support/tikztosvg/example/example.svg
@@ -0,0 +1,80 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="154.04pt" height="103.8pt" viewBox="0 0 154.04 103.8" version="1.1">
+<defs>
+<g>
+<symbol overflow="visible" id="glyph0-0">
+<path style="stroke:none;" d=""/>
+</symbol>
+<symbol overflow="visible" id="glyph0-1">
+<path style="stroke:none;" d="M 15.40625 -14.359375 C 15.40625 -14.546875 15.265625 -14.546875 15.21875 -14.546875 C 15.1875 -14.546875 15.09375 -14.546875 14.9375 -14.328125 L 13.515625 -12.625 C 13.40625 -12.78125 13 -13.515625 12.1875 -13.984375 C 11.296875 -14.546875 10.40625 -14.546875 10.09375 -14.546875 C 5.6875 -14.546875 1.03125 -10.03125 1.03125 -5.171875 C 1.03125 -1.75 3.390625 0.4375 6.484375 0.4375 C 7.96875 0.4375 9.859375 -0.0625 10.890625 -1.359375 C 11.109375 -0.578125 11.5625 -0.015625 11.71875 -0.015625 C 11.8125 -0.015625 11.84375 -0.078125 11.859375 -0.078125 C 11.875 -0.125 12.046875 -0.84375 12.140625 -1.21875 L 12.46875 -2.546875 C 12.640625 -3.21875 12.71875 -3.515625 12.875 -4.125 C 13.078125 -4.921875 13.109375 -4.984375 14.25 -5 C 14.328125 -5 14.578125 -5 14.578125 -5.390625 C 14.578125 -5.59375 14.375 -5.59375 14.3125 -5.59375 C 13.96875 -5.59375 13.578125 -5.5625 13.203125 -5.5625 L 12.078125 -5.5625 C 11.21875 -5.5625 10.3125 -5.59375 9.453125 -5.59375 C 9.28125 -5.59375 9.03125 -5.59375 9.03125 -5.21875 C 9.03125 -5.015625 9.1875 -5.015625 9.1875 -5 L 9.703125 -5 C 11.34375 -5 11.34375 -4.828125 11.34375 -4.53125 C 11.34375 -4.5 10.953125 -2.421875 10.5625 -1.796875 C 9.765625 -0.640625 8.140625 -0.171875 6.921875 -0.171875 C 5.328125 -0.171875 2.75 -0.984375 2.75 -4.5625 C 2.75 -5.953125 3.25 -9.109375 5.25 -11.4375 C 6.546875 -12.9375 8.46875 -13.9375 10.28125 -13.9375 C 12.71875 -13.9375 13.59375 -11.859375 13.59375 -9.953125 C 13.59375 -9.625 13.515625 -9.171875 13.515625 -8.875 C 13.515625 -8.703125 13.71875 -8.703125 13.78125 -8.703125 C 14 -8.703125 14.03125 -8.71875 14.109375 -9.09375 Z M 15.40625 -14.359375 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-2">
+<path style="stroke:none;" d="M 15.453125 -12.59375 C 15.640625 -13.296875 15.671875 -13.515625 17.140625 -13.515625 C 17.515625 -13.515625 17.71875 -13.515625 17.71875 -13.875 C 17.71875 -14.109375 17.53125 -14.109375 17.40625 -14.109375 C 17.046875 -14.109375 16.609375 -14.0625 16.21875 -14.0625 L 13.78125 -14.0625 C 13.390625 -14.0625 12.953125 -14.109375 12.5625 -14.109375 C 12.421875 -14.109375 12.171875 -14.109375 12.171875 -13.71875 C 12.171875 -13.515625 12.3125 -13.515625 12.703125 -13.515625 C 13.9375 -13.515625 13.9375 -13.34375 13.9375 -13.109375 C 13.9375 -13.078125 13.9375 -12.953125 13.859375 -12.640625 L 12.59375 -7.640625 L 6.359375 -7.640625 L 7.59375 -12.59375 C 7.78125 -13.296875 7.828125 -13.515625 9.296875 -13.515625 C 9.671875 -13.515625 9.875 -13.515625 9.875 -13.875 C 9.875 -14.109375 9.6875 -14.109375 9.5625 -14.109375 C 9.1875 -14.109375 8.765625 -14.0625 8.359375 -14.0625 L 5.921875 -14.0625 C 5.53125 -14.0625 5.109375 -14.109375 4.703125 -14.109375 C 4.5625 -14.109375 4.3125 -14.109375 4.3125 -13.71875 C 4.3125 -13.515625 4.46875 -13.515625 4.859375 -13.515625 C 6.09375 -13.515625 6.09375 -13.34375 6.09375 -13.109375 C 6.09375 -13.078125 6.09375 -12.953125 6.015625 -12.640625 L 3.21875 -1.53125 C 3.03125 -0.8125 3 -0.59375 1.5625 -0.59375 C 1.09375 -0.59375 0.953125 -0.59375 0.953125 -0.203125 C 0.953125 0 1.171875 0 1.234375 0 C 1.609375 0 2.046875 -0.046875 2.4375 -0.046875 L 4.875 -0.046875 C 5.265625 -0.046875 5.703125 0 6.09375 0 C 6.265625 0 6.484375 0 6.484375 -0.390625 C 6.484375 -0.59375 6.296875 -0.59375 5.984375 -0.59375 C 4.734375 -0.59375 4.734375 -0.765625 4.734375 -0.96875 C 4.734375 -0.984375 4.734375 -1.140625 4.765625 -1.296875 L 6.203125 -7.046875 L 12.453125 -7.046875 C 12.109375 -5.6875 11.046875 -1.359375 11.015625 -1.234375 C 10.78125 -0.625 10.453125 -0.625 9.234375 -0.59375 C 8.984375 -0.59375 8.796875 -0.59375 8.796875 -0.203125 C 8.796875 0 9.03125 0 9.09375 0 C 9.453125 0 9.890625 -0.046875 10.28125 -0.046875 L 12.71875 -0.046875 C 13.109375 -0.046875 13.546875 0 13.9375 0 C 14.109375 0 14.328125 0 14.328125 -0.390625 C 14.328125 -0.59375 14.15625 -0.59375 13.84375 -0.59375 C 12.578125 -0.59375 12.578125 -0.765625 12.578125 -0.96875 C 12.578125 -0.984375 12.578125 -1.140625 12.625 -1.296875 Z M 15.453125 -12.59375 "/>
+</symbol>
+<symbol overflow="visible" id="glyph0-3">
+<path style="stroke:none;" d="M 8.859375 -14.734375 C 8.859375 -14.75 8.984375 -15.0625 8.984375 -15.09375 C 8.984375 -15.34375 8.78125 -15.5 8.609375 -15.5 C 8.515625 -15.5 8.328125 -15.5 8.15625 -15.03125 L 1.234375 4.40625 C 1.234375 4.421875 1.109375 4.734375 1.109375 4.765625 C 1.109375 5.015625 1.328125 5.171875 1.484375 5.171875 C 1.609375 5.171875 1.796875 5.140625 1.9375 4.703125 Z M 8.859375 -14.734375 "/>
+</symbol>
+<symbol overflow="visible" id="glyph1-0">
+<path style="stroke:none;" d=""/>
+</symbol>
+<symbol overflow="visible" id="glyph1-1">
+<path style="stroke:none;" d="M 10.703125 -9.96875 C 10.703125 -10.09375 10.59375 -10.09375 10.578125 -10.09375 C 10.546875 -10.09375 10.484375 -10.09375 10.375 -9.953125 L 9.375 -8.765625 C 9.3125 -8.875 9.015625 -9.375 8.46875 -9.703125 C 7.84375 -10.09375 7.234375 -10.09375 7.015625 -10.09375 C 3.9375 -10.09375 0.71875 -6.96875 0.71875 -3.578125 C 0.71875 -1.21875 2.359375 0.296875 4.5 0.296875 C 5.53125 0.296875 6.84375 -0.046875 7.5625 -0.953125 C 7.71875 -0.40625 8.03125 -0.015625 8.140625 -0.015625 C 8.203125 -0.015625 8.21875 -0.0625 8.234375 -0.0625 C 8.25 -0.09375 8.359375 -0.59375 8.4375 -0.84375 L 8.65625 -1.765625 C 8.78125 -2.234375 8.828125 -2.4375 8.9375 -2.875 C 9.078125 -3.40625 9.109375 -3.453125 9.890625 -3.46875 C 9.953125 -3.46875 10.125 -3.46875 10.125 -3.75 C 10.125 -3.890625 9.984375 -3.890625 9.9375 -3.890625 C 9.703125 -3.890625 9.421875 -3.859375 9.171875 -3.859375 L 8.390625 -3.859375 C 7.78125 -3.859375 7.15625 -3.890625 6.5625 -3.890625 C 6.4375 -3.890625 6.265625 -3.890625 6.265625 -3.625 C 6.265625 -3.484375 6.390625 -3.484375 6.390625 -3.46875 L 6.734375 -3.46875 C 7.875 -3.46875 7.875 -3.359375 7.875 -3.140625 C 7.875 -3.125 7.609375 -1.671875 7.328125 -1.25 C 6.78125 -0.4375 5.65625 -0.109375 4.8125 -0.109375 C 3.703125 -0.109375 1.90625 -0.6875 1.90625 -3.171875 C 1.90625 -4.125 2.25 -6.328125 3.640625 -7.953125 C 4.546875 -8.984375 5.875 -9.6875 7.140625 -9.6875 C 8.828125 -9.6875 9.4375 -8.234375 9.4375 -6.90625 C 9.4375 -6.6875 9.375 -6.375 9.375 -6.171875 C 9.375 -6.03125 9.53125 -6.03125 9.5625 -6.03125 C 9.71875 -6.03125 9.734375 -6.046875 9.796875 -6.3125 Z M 10.703125 -9.96875 "/>
+</symbol>
+<symbol overflow="visible" id="glyph1-2">
+<path style="stroke:none;" d="M 4.3125 -0.625 C 4.078125 -0.625 3.859375 -0.625 3.859375 -0.703125 C 3.859375 -0.734375 4.109375 -2.078125 4.1875 -2.390625 C 4.640625 -4.234375 5.734375 -5.546875 6.984375 -5.546875 C 7.921875 -5.546875 8.34375 -4.84375 8.34375 -4.0625 C 8.34375 -2.421875 6.515625 -0.625 4.3125 -0.625 Z M 3.703125 0.109375 C 3.78125 0.125 3.9375 0.140625 4.1875 0.140625 C 6.546875 0.140625 8.703125 -2.125 8.703125 -4.390625 C 8.703125 -5.265625 8.3125 -6.328125 7.109375 -6.328125 C 5.046875 -6.328125 4.171875 -3.40625 3.375 -0.71875 C 1.71875 -1.03125 1.03125 -1.90625 1.03125 -2.875 C 1.03125 -3.25 1.328125 -4.796875 2.171875 -5.828125 C 2.328125 -6.015625 2.328125 -6.03125 2.328125 -6.0625 C 2.328125 -6.1875 2.203125 -6.1875 2.1875 -6.1875 C 1.796875 -6.1875 0.703125 -4.09375 0.703125 -2.71875 C 0.703125 -1.125 1.96875 -0.25 3.125 0.015625 L 2.375 2.4375 C 2.3125 2.65625 2.3125 2.6875 2.3125 2.734375 C 2.3125 3.078125 2.65625 3.09375 2.6875 3.09375 C 2.828125 3.09375 3.078125 3.046875 3.203125 2.75 C 3.234375 2.625 3.640625 0.40625 3.703125 0.109375 Z M 3.703125 0.109375 "/>
+</symbol>
+<symbol overflow="visible" id="glyph1-3">
+<path style="stroke:none;" d="M 6.734375 -9.609375 C 6.734375 -9.625 6.796875 -9.8125 6.796875 -9.828125 C 6.796875 -9.953125 6.6875 -9.953125 6.640625 -9.953125 C 6.515625 -9.953125 6.5 -9.890625 6.4375 -9.671875 L 4.078125 -0.171875 C 2.890625 -0.3125 2.4375 -0.921875 2.4375 -1.78125 C 2.4375 -2.09375 2.4375 -2.421875 3.109375 -4.203125 C 3.296875 -4.71875 3.375 -4.90625 3.375 -5.15625 C 3.375 -5.8125 2.90625 -6.328125 2.234375 -6.328125 C 0.921875 -6.328125 0.390625 -4.25 0.390625 -4.125 C 0.390625 -4.078125 0.4375 -4 0.546875 -4 C 0.671875 -4 0.6875 -4.0625 0.75 -4.265625 C 1.09375 -5.515625 1.65625 -6.03125 2.1875 -6.03125 C 2.328125 -6.03125 2.5625 -6.03125 2.5625 -5.5625 C 2.5625 -5.515625 2.5625 -5.1875 2.328125 -4.5625 C 1.546875 -2.53125 1.546875 -2.203125 1.546875 -1.875 C 1.546875 -0.5 2.703125 0.03125 3.984375 0.125 C 3.875 0.578125 3.765625 1.03125 3.65625 1.484375 C 3.421875 2.34375 3.328125 2.734375 3.328125 2.796875 C 3.328125 2.921875 3.4375 2.921875 3.484375 2.921875 C 3.515625 2.921875 3.578125 2.921875 3.59375 2.875 C 3.65625 2.8125 4.25 0.40625 4.296875 0.140625 C 4.828125 0.140625 5.96875 0.140625 7.265625 -1.1875 C 7.734375 -1.703125 8.15625 -2.359375 8.40625 -2.984375 C 8.546875 -3.359375 8.890625 -4.640625 8.890625 -5.359375 C 8.890625 -6.21875 8.46875 -6.328125 8.3125 -6.328125 C 7.96875 -6.328125 7.65625 -5.984375 7.65625 -5.6875 C 7.65625 -5.515625 7.765625 -5.421875 7.8125 -5.359375 C 7.953125 -5.234375 8.328125 -4.84375 8.328125 -4.109375 C 8.328125 -3.578125 8.046875 -2.53125 7.125 -1.484375 C 5.921875 -0.140625 4.8125 -0.140625 4.390625 -0.140625 Z M 6.734375 -9.609375 "/>
+</symbol>
+<symbol overflow="visible" id="glyph2-0">
+<path style="stroke:none;" d=""/>
+</symbol>
+<symbol overflow="visible" id="glyph2-1">
+<path style="stroke:none;" d="M 4.015625 -3.796875 C 4.015625 -3.8125 3.921875 -3.9375 3.921875 -3.9375 C 3.921875 -3.984375 4.8125 -4.765625 4.9375 -4.875 C 5.921875 -5.734375 6.5625 -5.75 6.859375 -5.765625 L 6.859375 -6.1875 C 6.5625 -6.15625 6.203125 -6.15625 5.765625 -6.15625 C 5.390625 -6.15625 4.65625 -6.15625 4.328125 -6.1875 L 4.328125 -5.765625 C 4.578125 -5.75 4.75 -5.625 4.75 -5.390625 C 4.75 -5.109375 4.453125 -4.84375 4.453125 -4.84375 L 2.390625 -3.046875 L 2.390625 -9.953125 L 0.40625 -9.796875 L 0.40625 -9.375 C 1.375 -9.375 1.484375 -9.28125 1.484375 -8.578125 L 1.484375 -1.0625 C 1.484375 -0.421875 1.328125 -0.421875 0.40625 -0.421875 L 0.40625 0 C 0.796875 -0.03125 1.484375 -0.03125 1.921875 -0.03125 C 2.359375 -0.03125 3.046875 -0.03125 3.4375 0 L 3.4375 -0.421875 C 2.53125 -0.421875 2.359375 -0.421875 2.359375 -1.0625 L 2.359375 -2.578125 L 3.265625 -3.390625 L 4.640625 -1.40625 C 4.859375 -1.109375 4.96875 -0.953125 4.96875 -0.75 C 4.96875 -0.484375 4.765625 -0.421875 4.453125 -0.421875 L 4.453125 0 C 4.8125 -0.03125 5.515625 -0.03125 5.90625 -0.03125 C 6.53125 -0.03125 6.5625 -0.03125 7.171875 0 L 7.171875 -0.421875 C 6.78125 -0.421875 6.34375 -0.421875 5.9375 -1 Z M 4.015625 -3.796875 "/>
+</symbol>
+<symbol overflow="visible" id="glyph2-2">
+<path style="stroke:none;" d="M 5.5 -3.328125 C 5.8125 -3.328125 5.84375 -3.328125 5.84375 -3.59375 C 5.84375 -5.046875 5.0625 -6.390625 3.328125 -6.390625 C 1.6875 -6.390625 0.4375 -4.921875 0.4375 -3.140625 C 0.4375 -1.25 1.890625 0.140625 3.484375 0.140625 C 5.1875 0.140625 5.84375 -1.40625 5.84375 -1.703125 C 5.84375 -1.796875 5.765625 -1.84375 5.6875 -1.84375 C 5.5625 -1.84375 5.53125 -1.78125 5.515625 -1.703125 C 5.140625 -0.5 4.171875 -0.171875 3.578125 -0.171875 C 2.96875 -0.171875 1.515625 -0.578125 1.515625 -3.0625 L 1.515625 -3.328125 Z M 1.53125 -3.59375 C 1.65625 -5.859375 2.90625 -6.109375 3.3125 -6.109375 C 4.84375 -6.109375 4.9375 -4.09375 4.953125 -3.59375 Z M 1.53125 -3.59375 "/>
+</symbol>
+<symbol overflow="visible" id="glyph2-3">
+<path style="stroke:none;" d="M 2.390625 -3.34375 C 2.390625 -4.734375 2.96875 -6.03125 4.078125 -6.03125 C 4.1875 -6.03125 4.21875 -6.03125 4.28125 -6.03125 C 4.15625 -5.96875 3.9375 -5.875 3.9375 -5.5 C 3.9375 -5.078125 4.265625 -4.921875 4.484375 -4.921875 C 4.78125 -4.921875 5.0625 -5.109375 5.0625 -5.5 C 5.0625 -5.921875 4.671875 -6.328125 4.0625 -6.328125 C 2.84375 -6.328125 2.421875 -5 2.34375 -4.734375 L 2.328125 -4.734375 L 2.328125 -6.328125 L 0.40625 -6.171875 L 0.40625 -5.75 C 1.375 -5.75 1.484375 -5.65625 1.484375 -4.953125 L 1.484375 -1.0625 C 1.484375 -0.421875 1.328125 -0.421875 0.40625 -0.421875 L 0.40625 0 C 0.796875 -0.03125 1.59375 -0.03125 2.015625 -0.03125 C 2.40625 -0.03125 3.421875 -0.03125 3.765625 0 L 3.765625 -0.421875 L 3.46875 -0.421875 C 2.421875 -0.421875 2.390625 -0.578125 2.390625 -1.09375 Z M 2.390625 -3.34375 "/>
+</symbol>
+</g>
+</defs>
+<g id="surface1">
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph0-1" x="26.158" y="23.236"/>
+</g>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph0-2" x="126.771" y="23.236"/>
+</g>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph1-1" x="8.904" y="86.328"/>
+</g>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph0-3" x="18.837" y="91.065"/>
+</g>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph2-1" x="29.048" y="91.065"/>
+</g>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph2-2" x="36.074769" y="91.065"/>
+  <use xlink:href="#glyph2-3" x="42.318235" y="91.065"/>
+</g>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph1-2" x="50.168" y="91.065"/>
+</g>
+<path style="fill:none;stroke-width:0.39848;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -25.796344 34.602687 L 40.250531 34.602687 " transform="matrix(1,0,0,-1,77.019,52.673)"/>
+<path style="fill:none;stroke-width:0.39848;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -2.070883 2.389612 C -1.691976 0.956019 -0.848226 0.280237 -0.00057 -0.0010125 C -0.848226 -0.278356 -1.691976 -0.958044 -2.070883 -2.391638 " transform="matrix(1,0,0,-1,117.46932,18.0693)"/>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph1-2" x="79.844" y="10.628"/>
+</g>
+<path style="fill:none;stroke-width:0.39848;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -42.882281 21.669094 L -42.882281 -14.725438 " transform="matrix(1,0,0,-1,77.019,52.673)"/>
+<path style="fill:none;stroke-width:0.39848;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -2.07113 2.389094 C -1.692224 0.9555 -0.848474 0.279719 -0.0008175 -0.00153125 C -0.848474 -0.278875 -1.692224 -0.954656 -2.07113 -2.392156 " transform="matrix(0,1,1,0,34.13825,66.16488)"/>
+<path style="fill:none;stroke-width:0.39848;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -2.072096 2.389094 C -1.69319 0.9555 -0.84944 0.279719 -0.00178375 -0.00153125 C -0.84944 -0.278875 -1.69319 -0.954656 -2.072096 -2.392156 " transform="matrix(0,1,1,0,34.13825,67.59944)"/>
+<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
+  <use xlink:href="#glyph1-3" x="19.839" y="52.988"/>
+</g>
+<path style="fill:none;stroke-width:0.39848;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-dasharray:0.39848,1.99255;stroke-miterlimit:10;" d="M -15.718219 -15.123875 L 40.316937 22.20425 " transform="matrix(1,0,0,-1,77.019,52.673)"/>
+<path style="fill:none;stroke-width:0.39848;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -2.069957 2.390722 C -1.692511 0.95513 -0.851846 0.278037 0.00166533 -0.000425055 C -0.84952 -0.280472 -1.694105 -0.958063 -2.072863 -2.390639 " transform="matrix(0.83461,-0.55605,-0.55605,-0.83461,117.50228,30.35604)"/>
+</g>
+</svg>
diff --git a/support/tikztosvg/example/example.tikz b/support/tikztosvg/example/example.tikz
new file mode 100644
index 0000000000..3110644212
--- /dev/null
+++ b/support/tikztosvg/example/example.tikz
@@ -0,0 +1,4 @@
+\begin{tikzcd}
+G \arrow[r, "\varphi"] \arrow[d, "\psi"', two heads] & H \\
+\sfrac{G}{\ker \varphi} \arrow[ru, dotted]           &  
+\end{tikzcd}