001package conexp.fx.core.util;
002
003/*
004 * #%L
005 * Concept Explorer FX
006 * %%
007 * Copyright (C) 2010 - 2023 Francesco Kriegel
008 * %%
009 * This program is free software: you can redistribute it and/or modify
010 * it under the terms of the GNU General Public License as
011 * published by the Free Software Foundation, either version 3 of the
012 * License, or (at your option) any later version.
013 * 
014 * This program is distributed in the hope that it will be useful,
015 * but WITHOUT ANY WARRANTY; without even the implied warranty of
016 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
017 * GNU General Public License for more details.
018 * 
019 * You should have received a copy of the GNU General Public
020 * License along with this program.  If not, see
021 * <http://www.gnu.org/licenses/gpl-3.0.html>.
022 * #L%
023 */
024
025public class UnicodeSymbols {
026
027  public static final String BOT           = "\u22A5";
028  public static final String TOP           = "\u22A4";
029  public static final String NEG           = "\u00AC"; //"\u2310";
030  public static final String EXISTS        = "\u2203";
031  public static final String FORALL        = "\u2200";
032  public static final String SQCAP         = "\u2293";
033  public static final String SQCUP         = "\u2294";
034  public static final String SQSUBSET      = "\u228F";
035  public static final String SQSUPSET      = "\u2290";
036  public static final String SQSUBSETEQ    = "\u2291";
037  public static final String SQSUPSETEQ    = "\u2292";
038  public static final String SQIN          = "\u22FF";
039  public static final String EQUIV         = "\u2263";
040  public static final String LEQ           = "\u2264";
041  public static final String GEQ           = "\u2265";
042  public static final String MODELS        = "\u22A8";
043  public static final String CIRC          = "\u25E6";
044  public static final String FROM          = "\u27F5";
045  public static final String TO            = "\u27F6";
046  public static final String FROMTO        = "\u27F7";
047  public static final String WEDGE         = "\u22C0";
048  public static final String VEE           = "\u22C1";
049  public static final String UNTIL         = new String(new int[] {
050      0x1D4B0
051  }, 0, 1);
052  // "\u1D4B0" // "\u1D518" // "\u25C1" // "\u25C3" // "\u22B2"
053  public static final String NEXT          = "\u25CB";
054  public static final String SOMETIMES     = "\u25C7";
055  public static final String ALWAYS        = "\u25A1";
056  public static final String SUBSCRIPT_ONE = "\u2081";
057  public static final String SUBSCRIPT_N   = "\u2099";
058
059}