src/Tools/jEdit/README.html
changeset 53021 d0fa3f446b9d
parent 51621 8c0f6caba80e
equal deleted inserted replaced
53020:afdabfeb5e94 53021:d0fa3f446b9d
   140       <tr><td>in</td>             <td><tt>:</tt></td>           <td>∈</td></tr>
   140       <tr><td>in</td>             <td><tt>:</tt></td>           <td>∈</td></tr>
   141       <tr><td>notin</td>          <td><tt>~:</tt></td>          <td>∉</td></tr>
   141       <tr><td>notin</td>          <td><tt>~:</tt></td>          <td>∉</td></tr>
   142 
   142 
   143       <tr><td>sub</td>            <td><tt>=_</tt></td>          <td>⇩</td></tr>
   143       <tr><td>sub</td>            <td><tt>=_</tt></td>          <td>⇩</td></tr>
   144       <tr><td>sup</td>            <td><tt>=^</tt></td>          <td>⇧</td></tr>
   144       <tr><td>sup</td>            <td><tt>=^</tt></td>          <td>⇧</td></tr>
   145       <tr><td>isup</td>           <td><tt>-_</tt></td>          <td>⇣</td></tr>
       
   146       <tr><td>isub</td>           <td><tt>-^</tt></td>          <td>⇡</td></tr>
       
   147       <tr><td>bold</td>           <td><tt>-.</tt></td>          <td>❙</td></tr>
   145       <tr><td>bold</td>           <td><tt>-.</tt></td>          <td>❙</td></tr>
   148 
   146 
   149     </table>
   147     </table>
   150     </li>
   148     </li>
   151   </ul>
   149   </ul>