use crate::rewrite::rule::RewriteRule;
pub(crate) mod ams {
pub(crate) mod equiv {
pub(crate) mod fenced_matrix_env {
#[allow(non_snake_case)]
pub(crate) mod Bmatrix_env_to_brace_matrix;
pub(crate) mod bmatrix_env_to_bracket_matrix;
pub(crate) mod helpers;
pub(crate) mod pmatrix_env_to_paren_matrix;
pub(crate) mod vmatrix_env_to_vert_matrix;
}
}
pub(crate) mod expand {
pub(crate) mod ams_operator_alias {
#[allow(non_snake_case)]
pub(crate) mod implies_to_Longrightarrow;
}
pub(crate) mod character_normalize {
#[allow(non_snake_case)]
pub(crate) mod Join_to_bowtie;
pub(crate) mod centerdot_to_cdot;
#[allow(non_snake_case)]
pub(crate) mod doublecup_to_Cup;
pub(crate) mod leadsto_to_rightsquigarrow;
#[allow(non_snake_case)]
pub(crate) mod lozenge_to_Diamond;
pub(crate) mod restriction_to_upharpoonright;
#[allow(non_snake_case)]
pub(crate) mod square_to_Box;
pub(crate) mod vartriangle_to_bigtriangleup;
}
pub(crate) mod multi_integral {
pub(crate) mod idotsint_expand;
}
pub(crate) mod substack {
pub(crate) mod substack_expand;
}
}
pub(crate) mod standard {
pub(crate) mod character_alias {
#[allow(non_snake_case)]
pub(crate) mod Doteq_to_doteqdot;
#[allow(non_snake_case)]
pub(crate) mod doublecap_to_Cap;
pub(crate) mod gggtr_to_ggg;
pub(crate) mod llless_to_lll;
pub(crate) mod trianglerighteq_to_unrhd;
pub(crate) mod unlhd_to_trianglelefteq;
pub(crate) mod vartriangleleft_to_lhd;
pub(crate) mod vartriangleright_to_rhd;
}
}
}
pub(crate) mod base {
pub(crate) mod drop {
pub(crate) mod spacing_drop {
pub(crate) mod goodbreak_drop;
}
}
pub(crate) mod expand {
pub(crate) mod character_normalize {
pub(crate) mod gets_to_leftarrow;
pub(crate) mod land_to_wedge;
pub(crate) mod lor_to_vee;
pub(crate) mod rightarrow_to_to;
pub(crate) mod semantic_dots_to_cdots;
pub(crate) mod semantic_dots_to_ldots;
}
pub(crate) mod stacked_operator {
pub(crate) mod buildrel_expand;
pub(crate) mod helpers;
pub(crate) mod stackbin_expand;
pub(crate) mod stackrel_expand;
}
}
pub(crate) mod standard {
pub(crate) mod character_alias {
pub(crate) mod ge_to_geq;
pub(crate) mod le_to_leq;
pub(crate) mod lnot_to_neg;
pub(crate) mod ne_to_neq;
pub(crate) mod owns_to_ni;
pub(crate) mod prime_to_prime_node;
}
pub(crate) mod linebreak_alias {
pub(crate) mod break_to_linebreak;
pub(crate) mod helpers;
pub(crate) mod newline_to_linebreak;
}
pub(crate) mod over_family {
pub(crate) mod above_to_genfrac;
pub(crate) mod abovewithdelims_to_genfrac;
pub(crate) mod atop_to_genfrac;
pub(crate) mod atopwithdelims_to_genfrac;
pub(crate) mod brace_to_genfrac;
pub(crate) mod brack_to_genfrac;
pub(crate) mod choose_to_binom;
pub(crate) mod helpers;
pub(crate) mod over_to_frac;
pub(crate) mod overwithdelims_to_genfrac;
}
pub(crate) mod plain_tex_matrix {
pub(crate) mod cases_to_cases_env;
pub(crate) mod displaylines_to_gather_env;
pub(crate) mod eqalign_to_aligned_env;
pub(crate) mod eqalignno_to_align_env;
pub(crate) mod helpers;
pub(crate) mod matrix_to_matrix_env;
pub(crate) mod pmatrix_to_pmatrix_env;
}
pub(crate) mod root_family {
pub(crate) mod root_of_to_sqrt;
}
}
}
pub(crate) mod physics {
pub(crate) mod expand {
pub(crate) mod bra_ket {
pub(crate) mod expectation_expand;
pub(crate) mod helpers;
pub(crate) mod matrixel_expand;
pub(crate) mod physics_bra_expand;
pub(crate) mod physics_braket_expand;
pub(crate) mod physics_ket_expand;
}
pub(crate) mod character_normalize {
pub(crate) mod cross_aliases_to_times;
}
pub(crate) mod commutator {
pub(crate) mod commutator_expand;
pub(crate) mod helpers;
pub(crate) mod poisson_bracket_expand;
}
pub(crate) mod delimiter_shorthand {
#[allow(non_snake_case)]
pub(crate) mod Bqty_to_brace_fence;
pub(crate) mod abs_to_vert_fence;
pub(crate) mod bqty_to_bracket_fence;
pub(crate) mod helpers;
pub(crate) mod norm_to_double_vert_fence;
pub(crate) mod pqty_to_paren_fence;
}
pub(crate) mod derivative_expand {
pub(crate) mod dv_to_frac_d;
pub(crate) mod fdv_to_frac_delta;
pub(crate) mod helpers;
pub(crate) mod pdv_to_frac_partial;
}
pub(crate) mod eval_fence {
pub(crate) mod eval_expand;
pub(crate) mod helpers;
}
pub(crate) mod matrix_builder_expand {
pub(crate) mod bmqty_to_mqty;
pub(crate) mod helpers;
pub(crate) mod mdet_to_vmqty;
pub(crate) mod pmqty_to_mqty;
pub(crate) mod zmat_to_xmat;
}
pub(crate) mod named_fn_expand {
pub(crate) mod rank_to_operatorname_rank;
}
pub(crate) mod qqtext {
pub(crate) mod qcomma_expand;
pub(crate) mod qqtext_expand;
}
pub(crate) mod vector_expand {
pub(crate) mod helpers;
pub(crate) mod va_to_vec_mathbf;
pub(crate) mod vb_to_mathbf;
pub(crate) mod vu_to_hat_mathbf;
}
}
pub(crate) mod standard {
pub(crate) mod character_alias {
pub(crate) mod divsymbol_to_divisionsymbol;
pub(crate) mod dotproduct_to_vdot;
}
pub(crate) mod derivative_to_short {
pub(crate) mod derivative_to_dv;
pub(crate) mod functional_derivative_to_fdv;
pub(crate) mod partial_derivative_to_pdv;
}
pub(crate) mod matrix_alias {
pub(crate) mod antidiagonalmatrix_to_admat;
pub(crate) mod diagonalmatrix_to_dmat;
pub(crate) mod matrixdeterminant_to_mdet;
}
pub(crate) mod named_fn_to_short {
pub(crate) mod cosine_to_cos;
pub(crate) mod naturallogarithm_to_ln;
pub(crate) mod probability_to_pr;
pub(crate) mod sine_to_sin;
}
pub(crate) mod quantity_alias {
pub(crate) mod absolutevalue_to_abs;
pub(crate) mod evaluated_to_eval;
pub(crate) mod quantity_to_qty;
}
pub(crate) mod trace_alias {
#[allow(non_snake_case)]
pub(crate) mod trace_capital_to_Tr;
pub(crate) mod trace_to_tr;
}
pub(crate) mod vector_to_short {
pub(crate) mod vectorarrow_to_va;
pub(crate) mod vectorbold_to_vb;
pub(crate) mod vectorunit_to_vu;
}
}
}
pub(crate) static ALL_RULES: &[&dyn RewriteRule] = &[
&ams::equiv::fenced_matrix_env::Bmatrix_env_to_brace_matrix::BMATRIX_ENV_TO_BRACE_MATRIX,
&ams::equiv::fenced_matrix_env::bmatrix_env_to_bracket_matrix::BMATRIX_ENV_TO_BRACKET_MATRIX,
&ams::equiv::fenced_matrix_env::pmatrix_env_to_paren_matrix::PMATRIX_ENV_TO_PAREN_MATRIX,
&ams::equiv::fenced_matrix_env::vmatrix_env_to_vert_matrix::VMATRIX_ENV_TO_VERT_MATRIX,
&ams::expand::ams_operator_alias::implies_to_Longrightarrow::IMPLIES_TO_LONGRIGHTARROW,
&ams::expand::character_normalize::Join_to_bowtie::JOIN_TO_BOWTIE,
&ams::expand::character_normalize::centerdot_to_cdot::CENTERDOT_TO_CDOT,
&ams::expand::character_normalize::doublecup_to_Cup::DOUBLECUP_TO_CUP,
&ams::expand::character_normalize::leadsto_to_rightsquigarrow::LEADSTO_TO_RIGHTSQUIGARROW,
&ams::expand::character_normalize::lozenge_to_Diamond::LOZENGE_TO_DIAMOND,
&ams::expand::character_normalize::restriction_to_upharpoonright::RESTRICTION_TO_UPHARPOONRIGHT,
&ams::expand::character_normalize::square_to_Box::SQUARE_TO_BOX,
&ams::expand::character_normalize::vartriangle_to_bigtriangleup::VARTRIANGLE_TO_BIGTRIANGLEUP,
&ams::expand::multi_integral::idotsint_expand::IDOTSINT_EXPAND,
&ams::expand::substack::substack_expand::SUBSTACK_EXPAND,
&ams::standard::character_alias::Doteq_to_doteqdot::DOTEQ_TO_DOTEQDOT,
&ams::standard::character_alias::doublecap_to_Cap::DOUBLECAP_TO_CAP,
&ams::standard::character_alias::gggtr_to_ggg::GGGTR_TO_GGG,
&ams::standard::character_alias::llless_to_lll::LLLESS_TO_LLL,
&ams::standard::character_alias::trianglerighteq_to_unrhd::TRIANGLERIGHTEQ_TO_UNRHD,
&ams::standard::character_alias::unlhd_to_trianglelefteq::UNLHD_TO_TRIANGLELEFTEQ,
&ams::standard::character_alias::vartriangleleft_to_lhd::VARTRIANGLELEFT_TO_LHD,
&ams::standard::character_alias::vartriangleright_to_rhd::VARTRIANGLERIGHT_TO_RHD,
&base::drop::spacing_drop::goodbreak_drop::GOODBREAK_DROP,
&base::expand::character_normalize::gets_to_leftarrow::GETS_TO_LEFTARROW,
&base::expand::character_normalize::land_to_wedge::LAND_TO_WEDGE,
&base::expand::character_normalize::lor_to_vee::LOR_TO_VEE,
&base::expand::character_normalize::rightarrow_to_to::RIGHTARROW_TO_TO,
&base::expand::character_normalize::semantic_dots_to_cdots::SEMANTIC_DOTS_TO_CDOTS,
&base::expand::character_normalize::semantic_dots_to_ldots::SEMANTIC_DOTS_TO_LDOTS,
&base::expand::stacked_operator::buildrel_expand::BUILDREL_EXPAND,
&base::expand::stacked_operator::stackbin_expand::STACKBIN_EXPAND,
&base::expand::stacked_operator::stackrel_expand::STACKREL_EXPAND,
&base::standard::character_alias::ge_to_geq::GE_TO_GEQ,
&base::standard::character_alias::le_to_leq::LE_TO_LEQ,
&base::standard::character_alias::lnot_to_neg::LNOT_TO_NEG,
&base::standard::character_alias::ne_to_neq::NE_TO_NEQ,
&base::standard::character_alias::owns_to_ni::OWNS_TO_NI,
&base::standard::character_alias::prime_to_prime_node::PRIME_TO_PRIME_NODE,
&base::standard::linebreak_alias::break_to_linebreak::BREAK_TO_LINEBREAK,
&base::standard::linebreak_alias::newline_to_linebreak::NEWLINE_TO_LINEBREAK,
&base::standard::over_family::above_to_genfrac::ABOVE_TO_GENFRAC,
&base::standard::over_family::abovewithdelims_to_genfrac::ABOVEWITHDELIMS_TO_GENFRAC,
&base::standard::over_family::atop_to_genfrac::ATOP_TO_GENFRAC,
&base::standard::over_family::atopwithdelims_to_genfrac::ATOPWITHDELIMS_TO_GENFRAC,
&base::standard::over_family::brace_to_genfrac::BRACE_TO_GENFRAC,
&base::standard::over_family::brack_to_genfrac::BRACK_TO_GENFRAC,
&base::standard::over_family::choose_to_binom::CHOOSE_TO_BINOM,
&base::standard::over_family::over_to_frac::OVER_TO_FRAC,
&base::standard::over_family::overwithdelims_to_genfrac::OVERWITHDELIMS_TO_GENFRAC,
&base::standard::plain_tex_matrix::cases_to_cases_env::CASES_TO_CASES_ENV,
&base::standard::plain_tex_matrix::displaylines_to_gather_env::DISPLAYLINES_TO_GATHER_ENV,
&base::standard::plain_tex_matrix::eqalign_to_aligned_env::EQALIGN_TO_ALIGNED_ENV,
&base::standard::plain_tex_matrix::eqalignno_to_align_env::EQALIGNNO_TO_ALIGN_ENV,
&base::standard::plain_tex_matrix::matrix_to_matrix_env::MATRIX_TO_MATRIX_ENV,
&base::standard::plain_tex_matrix::pmatrix_to_pmatrix_env::PMATRIX_TO_PMATRIX_ENV,
&base::standard::root_family::root_of_to_sqrt::ROOT_OF_TO_SQRT,
&physics::expand::bra_ket::expectation_expand::EXPECTATION_EXPAND,
&physics::expand::bra_ket::matrixel_expand::MATRIXEL_EXPAND,
&physics::expand::bra_ket::physics_bra_expand::PHYSICS_BRA_EXPAND,
&physics::expand::bra_ket::physics_braket_expand::PHYSICS_BRAKET_EXPAND,
&physics::expand::bra_ket::physics_ket_expand::PHYSICS_KET_EXPAND,
&physics::expand::character_normalize::cross_aliases_to_times::CROSS_ALIASES_TO_TIMES,
&physics::expand::commutator::commutator_expand::COMMUTATOR_EXPAND,
&physics::expand::commutator::poisson_bracket_expand::POISSON_BRACKET_EXPAND,
&physics::expand::delimiter_shorthand::Bqty_to_brace_fence::BQTY_TO_BRACE_FENCE,
&physics::expand::delimiter_shorthand::abs_to_vert_fence::ABS_TO_VERT_FENCE,
&physics::expand::delimiter_shorthand::bqty_to_bracket_fence::BQTY_TO_BRACKET_FENCE,
&physics::expand::delimiter_shorthand::norm_to_double_vert_fence::NORM_TO_DOUBLE_VERT_FENCE,
&physics::expand::delimiter_shorthand::pqty_to_paren_fence::PQTY_TO_PAREN_FENCE,
&physics::expand::derivative_expand::dv_to_frac_d::DV_TO_FRAC_D,
&physics::expand::derivative_expand::fdv_to_frac_delta::FDV_TO_FRAC_DELTA,
&physics::expand::derivative_expand::pdv_to_frac_partial::PDV_TO_FRAC_PARTIAL,
&physics::expand::eval_fence::eval_expand::EVAL_EXPAND,
&physics::expand::matrix_builder_expand::bmqty_to_mqty::BMQTY_TO_MQTY,
&physics::expand::matrix_builder_expand::mdet_to_vmqty::MDET_TO_VMQTY,
&physics::expand::matrix_builder_expand::pmqty_to_mqty::PMQTY_TO_MQTY,
&physics::expand::matrix_builder_expand::zmat_to_xmat::ZMAT_TO_XMAT,
&physics::expand::named_fn_expand::rank_to_operatorname_rank::RANK_TO_OPERATORNAME_RANK,
&physics::expand::qqtext::qcomma_expand::QCOMMA_EXPAND,
&physics::expand::qqtext::qqtext_expand::QQTEXT_EXPAND,
&physics::expand::vector_expand::va_to_vec_mathbf::VA_TO_VEC_MATHBF,
&physics::expand::vector_expand::vb_to_mathbf::VB_TO_MATHBF,
&physics::expand::vector_expand::vu_to_hat_mathbf::VU_TO_HAT_MATHBF,
&physics::standard::character_alias::divsymbol_to_divisionsymbol::DIVSYMBOL_TO_DIVISIONSYMBOL,
&physics::standard::character_alias::dotproduct_to_vdot::DOTPRODUCT_TO_VDOT,
&physics::standard::derivative_to_short::derivative_to_dv::DERIVATIVE_TO_DV,
&physics::standard::derivative_to_short::functional_derivative_to_fdv::FUNCTIONAL_DERIVATIVE_TO_FDV,
&physics::standard::derivative_to_short::partial_derivative_to_pdv::PARTIAL_DERIVATIVE_TO_PDV,
&physics::standard::matrix_alias::antidiagonalmatrix_to_admat::ANTIDIAGONALMATRIX_TO_ADMAT,
&physics::standard::matrix_alias::diagonalmatrix_to_dmat::DIAGONALMATRIX_TO_DMAT,
&physics::standard::matrix_alias::matrixdeterminant_to_mdet::MATRIXDETERMINANT_TO_MDET,
&physics::standard::named_fn_to_short::cosine_to_cos::COSINE_TO_COS,
&physics::standard::named_fn_to_short::naturallogarithm_to_ln::NATURALLOGARITHM_TO_LN,
&physics::standard::named_fn_to_short::probability_to_pr::PROBABILITY_TO_PR,
&physics::standard::named_fn_to_short::sine_to_sin::SINE_TO_SIN,
&physics::standard::quantity_alias::absolutevalue_to_abs::ABSOLUTEVALUE_TO_ABS,
&physics::standard::quantity_alias::evaluated_to_eval::EVALUATED_TO_EVAL,
&physics::standard::quantity_alias::quantity_to_qty::QUANTITY_TO_QTY,
&physics::standard::trace_alias::trace_capital_to_Tr::TRACE_CAPITAL_TO_TR,
&physics::standard::trace_alias::trace_to_tr::TRACE_TO_TR,
&physics::standard::vector_to_short::vectorarrow_to_va::VECTORARROW_TO_VA,
&physics::standard::vector_to_short::vectorbold_to_vb::VECTORBOLD_TO_VB,
&physics::standard::vector_to_short::vectorunit_to_vu::VECTORUNIT_TO_VU,
];