add interval

assets/logo_text.svg

@@ -10,8 +10,8 @@
    xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
    xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
    width="286.05515mm"
-   height="78.34053mm"
-   viewBox="0 0 286.05515 78.340531"
+   height="85.74884mm"
+   viewBox="0 0 286.05515 85.748841"
    version="1.1"
    id="svg8"
    inkscape:version="0.92.2 2405546, 2018-03-11"
@@ -41,9 +41,9 @@
      borderopacity="1.0"
      inkscape:pageopacity="0.0"
      inkscape:pageshadow="2"
-     inkscape:zoom="0.49497475"
-     inkscape:cx="-46.316844"
-     inkscape:cy="302.83211"
+     inkscape:zoom="0.7"
+     inkscape:cx="146.93689"
+     inkscape:cy="250.55008"
      inkscape:document-units="mm"
      inkscape:current-layer="layer1"
      showgrid="false"
@@ -55,7 +55,8 @@
      fit-margin-top="0"
      fit-margin-left="0"
      fit-margin-right="0"
-     fit-margin-bottom="0" />
+     fit-margin-bottom="0"
+     showguides="false" />
   <metadata
      id="metadata5">
     <rdf:RDF>
@@ -85,8 +86,8 @@
        id="rect53-0"
        width="25.273617"
        height="25.273617"
-       x="24.607496"
-       y="127.76653"
+       x="24.981674"
+       y="127.39235"
        transform="rotate(-45)" />
     <text
        xml:space="preserve"
@@ -139,18 +140,29 @@
        transform="matrix(-0.02449262,0,0,-0.038419,103.51138,79.950529)">
       <polygon
          id="path2050"
-         points="233.17773,222.98633 233.17773,364.71875 0,182.35938 233.17773,0 233.17773,141.73242 902.25049,141.73242 902.25049,222.98633 " />
+         points="0,182.35938 233.17773,0 233.17773,141.73242 902.25049,141.73242 902.25049,222.98633 233.17773,222.98633 233.17773,364.71875 " />
     </g>
     <text
        xml:space="preserve"
        style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:22.89156723px;line-height:1.25;font-family:'DejaVu Sans Mono';-inkscape-font-specification:'DejaVu Sans Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1.71686757"
        x="-44.219311"
-       y="121.20863"
+       y="128.61694"
        id="text6087"><tspan
          sodipodi:role="line"
          id="tspan6085"
          x="-44.219311"
-         y="121.20863"
+         y="128.61694"
          style="stroke-width:1.71686757">metric-temporal-logic</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:12.74462223px;line-height:1.25;font-family:'DejaVu Sans Mono';-inkscape-font-specification:'DejaVu Sans Mono, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.95584661"
+       x="103.3844"
+       y="100.17876"
+       id="text4016"><tspan
+         sodipodi:role="line"
+         id="tspan4014"
+         x="103.3844"
+         y="100.17876"
+         style="stroke-width:0.95584661">[2, 3]</tspan></text>
   </g>
 </svg>