from __future__ import annotations
from typing import Any, Protocol, runtime_checkable

@runtime_checkable
class FormulaProperties(Protocol):
    Alignment: int
    BaseFontHeight: int
    CustomFontNameFixed: str
    FontFixedIsItalic: bool
    FontFixedIsBold: bool
    CustomFontNameSans: str
    FontSansIsItalic: bool
    FontSansIsBold: bool
    CustomFontNameSerif: str
    FontSerifIsItalic: bool
    FontSerifIsBold: bool
    FontNameFunctions: str
    FontFunctionsIsItalic: bool
    FontFunctionsIsBold: bool
    FontNameNumbers: str
    FontNumbersIsItalic: bool
    FontNumbersIsBold: bool
    FontNameText: str
    FontTextIsItalic: bool
    FontTextIsBold: bool
    FontNameVariables: str
    FontVariablesIsItalic: bool
    FontVariablesIsBold: bool
    Formula: str
    IsScaleAllBrackets: bool
    IsTextMode: bool
    RelativeFontHeightFunctions: int
    RelativeFontHeightIndices: int
    RelativeFontHeightLimits: int
    RelativeFontHeightOperators: int
    RelativeFontHeightText: int
    RelativeBracketDistance: int
    RelativeBracketExcessSize: int
    RelativeFractionBarExcessLength: int
    RelativeFractionBarLineWeight: int
    RelativeFractionDenominatorDepth: int
    RelativeFractionNumeratorHeight: int
    RelativeIndexSubscript: int
    RelativeIndexSuperscript: int
    RelativeLineSpacing: int
    RelativeLowerLimitDistance: int
    RelativeMatrixColumnSpacing: int
    RelativeMatrixLineSpacing: int
    RelativeOperatorExcessSize: int
    RelativeOperatorSpacing: int
    RelativeRootSpacing: int
    RelativeScaleBracketExcessSize: int
    RelativeSpacing: int
    RelativeSymbolMinimumHeight: int
    RelativeSymbolPrimaryHeight: int
    RelativeUpperLimitDistance: int
    TopMargin: int
    BottomMargin: int
    LeftMargin: int
    RightMargin: int
    BaseLine: int
    IsRightToLeft: bool
