import type { PropFormula } from "../../models";
/**
 * Converts a propositional formula into a string representation using Unicode logical symbols.
 *
 * @param {PropFormula} formula - The propositional formula to convert.
 * @returns {string} The string representation of the formula using Unicode glyphs.
 * @category Converters
 */
export declare function convertPropFormulaToString(formula: PropFormula): string;