/** Some symbols I use a lot. */
export declare const symbols: {
    arrow: string;
    cross: string;
    cross2: string;
    detached: string;
    gear: string;
    heavyAsterisk: string;
    lightning: string;
    plusMinus: string;
    question: string;
    rightPointer: string;
    rightTriangle: string;
    squareRoot: string;
    strictlyEquivalent: string;
    tilde: string;
    yesNo: string;
    info: string;
    warning: string;
    bullet: string;
    fisheye: string;
    bullseye: string;
    largeCircle: string;
    rocket: string;
    heavyRightAngle1: string;
    heavyRightAngle2: string;
    branch: string;
    separator: string;
};