diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index 5b174b43f..fd914efc2 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -5,12 +5,13 @@
-
-
-
+
-
-
+
+
+
+
+
@@ -96,295 +97,298 @@
- {
- "keyToString": {
- "ASKED_ADD_EXTERNAL_FILES": "true",
- "PowerShell.increment_package_version_patch.ps1.executor": "Run",
- "PowerShell.release_patch.ps1.executor": "Run",
- "Python tests.Python tests in tests.executor": "Run",
- "Python tests.pytest for test_axiomatic_system.test_connective.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestAlgorithm.test_algorithm.executor": "Debug",
- "Python tests.pytest for test_axiomatic_system_1.TestAreValidStatementsInTheory.test_are_valid_statements_in_theory.executor": "Debug",
- "Python tests.pytest for test_axiomatic_system_1.TestAreValidStatementsInTheoryWithVariables.test_are_valid_statements_in_theory_with_variables.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestAutoDerivation.test_auto_derivation.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestAxiom.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestAxiom.test_axiom_without_premises.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestAxiomaticBase.test_theoretical_context.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestAxiomatization.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestAxiomatization.test_is_well_formed.executor": "Debug",
- "Python tests.pytest for test_axiomatic_system_1.TestCoerceEnumeration.test_coerce_enumeration.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestCollection.test_collection.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestCollection.test_in.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestConnective.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestConnective.test_call.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestConnective.test_simple.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestConnectiveEquivalence.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestConnectiveEquivalence.test_is_connective_equivalent.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestDemonstration.test_is_well_formed.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEmptyEnumeration.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEmptyEnumeration.test_empty_enumeration.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEmptyTheory.test_empty_theory.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumeration.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumeration.test_enumeration.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumeration.test_has_element.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumeration.test_in.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumeration.test_is_of_the_form_enumeration.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumeration.test_is_sub_enumeration.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumeration.test_is_well_formed_enumeration.executor": "Debug",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumeration.test_tupl.executor": "Debug",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumeration.test_warning.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumerationAccretor.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumerationAccretor.test_del_element.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumerationBuilder.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumerationEquivalence.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestEnumerationEquivalence.test_enumeration_equivalence.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestExtension.test_extension.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestExtension.test_extension_of_axioms.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormula.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormula.test_formula.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormula.test_iterate.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormula.test_term.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormula.test_term_0.executor": "Debug",
- "Python tests.pytest for test_axiomatic_system_1.TestFormula.test_term_1.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormula.test_to_formula_builder.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaBuilder.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaBuilder.test_assure_term.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaBuilder.test_set_term.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaBuilder.test_term_1.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaBuilder.test_to_formula.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaBuilderNode.test_formula_builder_node.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaDepth.test_get_formula_depth.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaEquivalence.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaEquivalence.test_is_formula_equivalent.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaEquivalenceWithVariables.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaEquivalenceWithVariables.test_is_formula_equivalent_with_variables.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaEquivalenceWithVariables.test_is_formula_equivalent_with_variables_2.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaEquivalenceWithVariables.test_sandbox.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaEquivalenceWithVariables2.test_is_formula_equivalent_with_variables.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaEquivalenceWithVariables2.test_is_formula_equivalent_with_variables_2.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestFormulaToEnumeration.test_formula_to_enumeration.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestHypothesis.test_hypothesis.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestInference.test_inference.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestInference.test_is_well_formed_inference.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestInferenceRule.test_inference_rule_without_premises.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestInferenceRule.test_is_well_formed_postulation.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestIsSubformulaofFormula.test_is_subformula_of_formula.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestIteratePermutationsOfEnumerationElementsWithFixedSize.test_iterate_permutations_of_enumeration_elements_with_fixed_size.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestMap.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestMap.test_map.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestMetaTheory.test_meta_theory.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestObjectCreation.test_object_creation.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestPostulation.test_is_well_formed_postulation.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestProofByInference.test_is_well_formed.executor": "Debug",
- "Python tests.pytest for test_axiomatic_system_1.TestProofByPostulation.test_is_well_formed.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestReplaceConnectives.test_replace_connectives.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestReplaceFormulas.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestReplaceFormulas.test_replace_formulas.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestReplaceFormulas.test_replace_formulas_two_variables.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestSingletonEnumeration.test_singleton_enumeration.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestStripDuplicateFormulasInPythonTuple.test_strip_duplicate_formulas_in_python_tuple.executor": "Debug",
- "Python tests.pytest for test_axiomatic_system_1.TestTerms.test_terms.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTermsBuilder.test_terms_builder.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTheorem.test_coerce_theorem.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTheoreticalContext.test_theoretical_context.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTheory.test_iterate_axioms.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTheory.test_transform_to_axiomatization.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTheory.test_would_be_valid.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTheory.test_x.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTransformation.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTransformation.test_is_well_formed_transformation.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTransformation.test_natural_transformation.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTransformation.test_transformation.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTransformation.test_transformation_1.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTupl.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestTupl.test_iterate.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestUnionEnumeration.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestUnionEnumeration.test_union_enumeration.executor": "Run",
- "Python tests.pytest for test_axiomatic_system_1.TestVariable.test_variable.executor": "Debug",
- "Python tests.pytest for test_axiomatic_system_1.test_is_extension.executor": "Run",
- "Python tests.pytest for test_fl1.TestFormalObject.test_formal_object.executor": "Run",
- "Python tests.pytest for test_inference_rules_1.TestAdjunction.test_adjunction.executor": "Run",
- "Python tests.pytest for test_inference_rules_1.TestModusPonens.executor": "Run",
- "Python tests.pytest for test_inference_rules_1.TestModusPonens.test_modus_ponens.executor": "Run",
- "Python tests.pytest for test_inference_rules_1.TestSimplification1.test_simplification_1.executor": "Run",
- "Python tests.pytest for test_inference_rules_1.TestSimplification2.test_simplification_2.executor": "Run",
- "Python tests.pytest for test_meta_theory_1.TestInconsistency1.TestHypothesis.test_hypothesis.executor": "Run",
- "Python tests.pytest for test_meta_theory_1.TestInconsistency1.TestReductioAdAbsurdum.test_reduction_ad_absurdum.executor": "Run",
- "Python tests.pytest for test_meta_theory_1.TestInconsistency1.test_inconsistency_1.executor": "Run",
- "Python tests.pytest for test_meta_theory_1.TestIsWellFormedAxiom.test_is_well_formed_axiom.executor": "Debug",
- "Python tests.pytest for test_meta_theory_1.TestMT1.executor": "Run",
- "Python tests.pytest for test_meta_theory_1.TestMT1.test_mt1.executor": "Run",
- "Python tests.pytest for test_meta_theory_1.TestMT1.test_mt1_new.executor": "Debug",
- "Python tests.pytest for test_meta_theory_1.TestMT1.test_mt2.executor": "Debug",
- "Python tests.pytest for test_meta_theory_1.TestMT2.executor": "Run",
- "Python tests.pytest for test_meta_theory_1.TestMT2.test_mt2.executor": "Run",
- "Python tests.pytest for test_meta_theory_1.TestMT2.test_mt2_new.executor": "Run",
- "Python tests.pytest for test_meta_theory_1.TestMT3.test_mt3.executor": "Debug",
- "Python tests.pytest for test_meta_theory_1.TestMT3.test_mt3_new.executor": "Run",
- "Python tests.pytest for test_meta_theory_1.TestMT4.test_mt4.executor": "Run",
- "Python tests.pytest for test_meta_theory_1.TestMT5.test_mt5.executor": "Run",
- "Python tests.pytest for test_meta_theory_1.TestTProvesP.test_t_proves_p.executor": "Debug",
- "Python tests.pytest for test_minimal_logic_1.TestAdjunction.test_adjunction.executor": "Run",
- "Python tests.pytest for test_minimal_logic_1.TestComplete.test_mancosu_page_20.executor": "Run",
- "Python tests.pytest for test_minimal_logic_1.TestComplete.test_mancosu_page_20_with_derivation_1.executor": "Debug",
- "Python tests.pytest for test_minimal_logic_1.TestMancosu2021P20.test_mancosu_2021_page_20.executor": "Debug",
- "Python tests.pytest for test_minimal_logic_1.TestMancosu2021P20.test_mancosu_2021_page_20_with_derivation_1.executor": "Run",
- "Python tests.pytest for test_minimal_logic_1.TestMancosu2021P20.test_mancosu_2021_page_21_with_derivation_1.executor": "Run",
- "Python tests.pytest for test_minimal_logic_1.TestPL1.test_pl1.executor": "Run",
- "Python tests.pytest for test_minimal_logic_1.TestPL2.test_pl2.executor": "Run",
- "Python tests.pytest for test_minimal_logic_1.TestPL3.test_pl3.executor": "Run",
- "Python tests.pytest for test_minimal_logic_1.TestPL4.test_pl4.executor": "Debug",
- "Python tests.pytest for test_minimal_logic_1.TestPL4.test_pl4_with_auto_derivation.executor": "Run",
- "Python tests.pytest for test_minimal_logic_1.TestPL5.test_pl5_with_auto_derivation.executor": "Run",
- "Python tests.pytest for test_pl1.TestMinimalPropositionalLogic.test_init.executor": "Run",
- "Python tests.pytest for test_pl1.TestPL1.test_compounding_formulas_1.executor": "Debug",
- "Python tests.pytest for test_pl1.TestPL1.test_connectives_1.executor": "Debug",
- "Python tests.pytest for test_pl1.TestPL1.test_connectives_2.executor": "Run",
- "Python tests.pytest for test_pl1.TestPL1.test_connectives_3.executor": "Run",
- "Python tests.pytest for test_pl1.TestPL1.test_connectives_conditional.executor": "Run",
- "Python tests.pytest for test_pl1.TestPL1.test_declare_binary_formula.executor": "Debug",
- "Python tests.pytest for test_pl1.TestPL1.test_declare_unary_formula.executor": "Run",
- "Python tests.pytest for test_pl1.TestPL1.test_formulas.executor": "Debug",
- "Python tests.pytest for test_pl1.TestPL1.test_propositional_variables.executor": "Run",
- "Python tests.pytest for test_pl1.TestPL1ML.test_infix_formula.executor": "Run",
- "Python tests.pytest for test_pl1.TestPL1ML.test_substitute_meta_variables.executor": "Debug",
- "Python tests.pytest for test_presentation.TestRepresentation.test_from_yaml.executor": "Run",
- "Python tests.pytest for test_presentation.TestRepresentation.test_representation.executor": "Debug",
- "Python tests.pytest for test_presentation.TestRepresentation.test_template.executor": "Run",
- "Python tests.pytest for test_presentation_1.TestSymbols.test_symbols.executor": "Run",
- "Python tests.pytest for test_presentation_1.TestTypesettingConfiguration.test_typesetting_configuration.executor": "Run",
- "Python tests.pytest for test_presentation_layer_1.TestMonospace.test_monospace.executor": "Run",
- "Python tests.pytest for test_presentation_layer_1.TestScript.test_script.executor": "Run",
- "Python tests.pytest for test_presentation_layer_1.TestTypesettingConfiguration.test_typesetting_configuration.executor": "Run",
- "Python tests.pytest for test_propositional_logic_syntax_1.TestAutoDerivation.test_auto_derivation.executor": "Debug",
- "Python tests.pytest for test_propositional_logic_syntax_1.TestAxioms.test_pl1.executor": "Debug",
- "Python tests.pytest for test_propositional_logic_syntax_1.TestHeuristic.test_heuristic.executor": "Run",
- "Python tests.pytest for test_propositional_logic_syntax_1.TestHeuristic.test_heuristic_basic.executor": "Run",
- "Python tests.pytest for test_propositional_logic_syntax_1.TestPropositionalLogicMetaTheory.test_pl1.executor": "Run",
- "Python tests.pytest for test_propositional_logic_syntax_1.TestPropositionalLogicMetaTheory.test_pl1_2.executor": "Run",
- "Python tests.pytest for test_propositional_logic_syntax_1.TestPropositionalLogicMetaTheory.test_pl1_3.executor": "Run",
- "Python tests.pytest for test_typesetting.TestHierarchicalClass.test_is_subclass_of.executor": "Run",
- "Python tests.pytest for test_typesetting.TestIndexSymbol.test_to_string.executor": "Run",
- "Python tests.pytest for test_typesetting.TestProtocolPreference.test_protocol.executor": "Run",
- "Python tests.pytest for test_typesetting.TestSymbols.test_to_string_2.executor": "Run",
- "Python tests.pytest for test_utils.TestHierarchicalEnum.test_hierarchical_enum.executor": "Run",
- "Python tests.pytest for test_utils.TestTypesettingClass.test_typesetting_class.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestAlgorithm.test_algorithm.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestAreValidStatementsInTheory.test_are_valid_statements_in_theory.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestAxiomatization.test_is_well_formed.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestDemonstration.test_is_well_formed.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestFormulaEquivalenceWithVariables.test_is_formula_equivalent_with_variables_2.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestInference.test_inference.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestInferenceRule.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestInferenceRule.test_inference_rule_without_premises.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestInferenceRule.test_is_well_formed_postulation.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestMetaTheory.test_meta_theory.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestProofByPostulation.test_is_well_formed.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestTheorem.test_coerce_theorem.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.TestTransformation.test_is_well_formed_transformation.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.executor": "Run",
- "Python tests.pytest for tests.test_axiomatic_system_1.top_level_collect.executor": "Run",
- "Python tests.pytest for tests.test_fl1.TestFormalObject.test_formal_object.executor": "Run",
- "Python tests.pytest for tests.test_fl1.executor": "Run",
- "Python tests.pytest for tests.test_meta_theory_1.TestInconsistency1.test_inconsistency_1.executor": "Run",
- "Python tests.pytest for tests.test_meta_theory_1.TestMT1.test_mt1.executor": "Run",
- "Python tests.pytest for tests.test_meta_theory_1.TestMT2.test_mt2.executor": "Run",
- "Python tests.pytest for tests.test_meta_theory_1.TestMT3.test_mt3.executor": "Run",
- "Python tests.pytest for tests.test_meta_theory_1.TestTProvesP.test_t_proves_p.executor": "Run",
- "Python tests.pytest for tests.test_minimal_logic_1.TestPL1.test_pl1.executor": "Run",
- "Python tests.pytest for tests.test_pl1.TestPL1.test_declare_binary_formula.executor": "Run",
- "Python tests.pytest for tests.test_pl1.TestPL1.test_formulas.executor": "Run",
- "Python tests.pytest for tests.test_pl1.TestPL1.test_propositional_variables.executor": "Run",
- "Python tests.pytest for tests.test_pl1.TestPL1ML.executor": "Run",
- "Python tests.pytest for tests.test_propositional_logic_syntax_1.TestAxioms.test_pl1.executor": "Run",
- "Python tests.pytest for tests.test_typesetting.TestProtocolPreference.test_protocol.executor": "Debug",
- "Python tests.pytest in punctilious.executor": "Run",
- "Python tests.pytest in test_axiomatic_system.py.executor": "Run",
- "Python tests.pytest in test_axiomatic_system_1.py.executor": "Run",
- "Python tests.pytest in test_fl1.py.executor": "Run",
- "Python tests.pytest in test_inference_rules_1.py.executor": "Run",
- "Python tests.pytest in test_minimal_logic_1.py.executor": "Run",
- "Python tests.pytest in test_pl1.py.executor": "Run",
- "Python tests.pytest in test_presentation_1.py.executor": "Debug",
- "Python tests.pytest in test_presentation_layer_1.py.executor": "Run",
- "Python tests.pytest in test_propositional_logic_syntax_1.py.executor": "Run",
- "Python tests.pytest in test_typesetting.py.executor": "Run",
- "Python tests.pytest in test_utils.py.executor": "Run",
- "Python tests.pytest in tests.executor": "Run",
- "Python.__init__.executor": "Run",
- "Python.axiomatic_system.executor": "Run",
- "Python.axiomatic_system_1.executor": "Run",
- "Python.binary_tree_test.executor": "Run",
- "Python.fl1.executor": "Run",
- "Python.fl1_presentation.executor": "Run",
- "Python.fl1_typesetting.executor": "Run",
- "Python.formal_language_1.executor": "Run",
- "Python.formal_language_1_presentation_1.executor": "Run",
- "Python.foundations.executor": "Run",
- "Python.generate_symbols.executor": "Run",
- "Python.inference_rules_1.executor": "Run",
- "Python.minimal_logic_1.executor": "Debug",
- "Python.natural_numbers_1.executor": "Run",
- "Python.objects.executor": "Run",
- "Python.parser.executor": "Run",
- "Python.pl1.executor": "Run",
- "Python.pl1_presentation.executor": "Run",
- "Python.presentation_layer_1.executor": "Run",
- "Python.propositional_logic_1.executor": "Run",
- "Python.propositional_logic_syntax_1.executor": "Run",
- "Python.punctilious.executor": "Run",
- "Python.sandbox.executor": "Run",
- "Python.sandbox_2.executor": "Run",
- "Python.sequences_1.executor": "Run",
- "Python.symbols (1).executor": "Run",
- "Python.symbols.executor": "Run",
- "Python.test.executor": "Run",
- "Python.test2.executor": "Debug",
- "Python.test3.executor": "Run",
- "Python.test4.executor": "Run",
- "Python.test_fl1.executor": "Run",
- "Python.typesetting.executor": "Run",
- "Python.yaml_interface.executor": "Run",
- "Python.zeta.executor": "Run",
- "Python.zeta_2.executor": "Run",
- "RunOnceActivity.OpenProjectViewOnStart": "true",
- "RunOnceActivity.ShowReadmeOnStart": "true",
- "SHARE_PROJECT_CONFIGURATION_FILES": "true",
- "Shell Script.build_docs.sh.executor": "Run",
- "git-widget-placeholder": "master",
- "ignore.virus.scanning.warn.message": "true",
- "last_opened_file_path": "/Users/daviddoret/PycharmProjects/punctilious/src/punctilious/data/interpretations",
- "settings.editor.selected.configurable": "preferences.pluginManager",
- "timeTracker.activityTracker": "null",
- "timeTracker.comment": "",
- "timeTracker.inactivityPeriodInMills": "600000",
- "timeTracker.isAutoTrackingEnable": "false",
- "timeTracker.isAutoTrackingTemporaryDisabled": "false",
- "timeTracker.isManualTrackingEnable": "false",
- "timeTracker.isPaused": "true",
- "timeTracker.isPostAfterCommitEnabled": "false",
- "timeTracker.isPostedScheduled": "true",
- "timeTracker.isRunning": "false",
- "timeTracker.isScheduledEnabled": "false",
- "timeTracker.isWhenProjectClosedEnabled": "false",
- "timeTracker.issueId": "Default",
- "timeTracker.issueIdReadable": "Default",
- "timeTracker.pausedTime": "0",
- "timeTracker.query": "",
- "timeTracker.recordedTime": "0",
- "timeTracker.scheduledPeriod": "19:00:0",
- "timeTracker.startTime": "0",
- "timeTracker.timeInMills": "0",
- "timeTracker.type": "Development"
+
+}]]>
+
-
@@ -413,7 +417,7 @@
-
+
@@ -664,7 +668,7 @@
-
+
@@ -677,11 +681,11 @@
-
+
-
+
@@ -694,7 +698,7 @@
-
+
@@ -762,7 +766,7 @@
+
@@ -795,14 +799,6 @@
1687980987309
-
-
- 1730628967759
-
-
-
- 1730628967759
-
1730645759409
@@ -1187,7 +1183,15 @@
1733205998342
-
+
+
+ 1733264431125
+
+
+
+ 1733264431125
+
+
random
@@ -1338,6 +1342,11 @@
12
+
+ file://$PROJECT_DIR$/tests/test_greek_alphabet_uppercase_serif_italic.py
+ 10
+
+
diff --git a/src/punctilious/__init__.py b/src/punctilious/__init__.py
index 28f6cf46d..97c6d921e 100644
--- a/src/punctilious/__init__.py
+++ b/src/punctilious/__init__.py
@@ -13,12 +13,12 @@
packages = foundations.get_packages()
greek_alphabet_lowercase_serif_italic = _greek_alphabet_lowercase_serif_italic.GreekAlphabetLowercaseSerifItalic()
-print(greek_alphabet_lowercase_serif_italic.alpha.rep(prefs=prefs))
+# print(greek_alphabet_lowercase_serif_italic.alpha.rep(prefs=prefs))
# print(greek_alphabet_lowercase_serif_italic.phi.configurations[1])
# print(greek_alphabet_lowercase_serif_italic.psi.configurations[2])
-# greek_alphabet_uppercase_serif_italic = _greek_alphabet_uppercase_serif_italic.GreekAlphabetUppercaseSerifItalic()
-# print(greek_alphabet_uppercase_serif_italic.alpha.configurations[0])
+greek_alphabet_uppercase_serif_italic = _greek_alphabet_uppercase_serif_italic.GreekAlphabetUppercaseSerifItalic()
+# print(greek_alphabet_uppercase_serif_italic.psi.rep())
# print(greek_alphabet_uppercase_serif_italic.phi.configurations[1])
# print(greek_alphabet_uppercase_serif_italic.psi.configurations[2])
diff --git a/src/punctilious/__pycache__/__init__.cpython-312.pyc b/src/punctilious/__pycache__/__init__.cpython-312.pyc
index cc0e00579..43230a665 100644
Binary files a/src/punctilious/__pycache__/__init__.cpython-312.pyc and b/src/punctilious/__pycache__/__init__.cpython-312.pyc differ
diff --git a/src/punctilious/__pycache__/presentation.cpython-312.pyc b/src/punctilious/__pycache__/presentation.cpython-312.pyc
index ac672e89c..e10f96e0a 100644
Binary files a/src/punctilious/__pycache__/presentation.cpython-312.pyc and b/src/punctilious/__pycache__/presentation.cpython-312.pyc differ
diff --git a/src/punctilious/data/representations/__pycache__/greek_alphabet_uppercase_serif_italic.cpython-312.pyc b/src/punctilious/data/representations/__pycache__/greek_alphabet_uppercase_serif_italic.cpython-312.pyc
index be4038a85..62953944b 100644
Binary files a/src/punctilious/data/representations/__pycache__/greek_alphabet_uppercase_serif_italic.cpython-312.pyc and b/src/punctilious/data/representations/__pycache__/greek_alphabet_uppercase_serif_italic.cpython-312.pyc differ
diff --git a/src/punctilious/data/representations/greek_alphabet_lowercase_serif_italic.yaml b/src/punctilious/data/representations/greek_alphabet_lowercase_serif_italic.yaml
index 29ca2065e..5d12f74bf 100644
--- a/src/punctilious/data/representations/greek_alphabet_lowercase_serif_italic.yaml
+++ b/src/punctilious/data/representations/greek_alphabet_lowercase_serif_italic.yaml
@@ -15,7 +15,7 @@ representations:
string_constant: '𝛼'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\alpha'
+ string_constant: '\alpha'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: beta
@@ -28,7 +28,7 @@ representations:
string_constant: '𝛽'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\beta'
+ string_constant: '\beta'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: gamma
@@ -41,7 +41,7 @@ representations:
string_constant: '𝛾'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\gamma'
+ string_constant: '\gamma'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: delta
@@ -54,7 +54,7 @@ representations:
string_constant: '𝛿'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\delta'
+ string_constant: '\delta'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: epsilon
@@ -67,7 +67,7 @@ representations:
string_constant: '𝜖'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\epsilon'
+ string_constant: '\epsilon'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: zeta
@@ -80,7 +80,7 @@ representations:
string_constant: '𝜁'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\zeta'
+ string_constant: '\zeta'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: eta
@@ -93,7 +93,7 @@ representations:
string_constant: '𝜂'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\eta'
+ string_constant: '\eta'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: theta
@@ -106,7 +106,7 @@ representations:
string_constant: '𝜃'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\theta'
+ string_constant: '\theta'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: iota
@@ -119,7 +119,7 @@ representations:
string_constant: '𝜄'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\iota'
+ string_constant: '\iota'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: kappa
@@ -132,7 +132,7 @@ representations:
string_constant: '𝜅'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\kappa'
+ string_constant: '\kappa'
tags: { connector_representation: symbol, technical_language: latex_math }
@@ -146,7 +146,7 @@ representations:
string_constant: '𝜆'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\lambda'
+ string_constant: '\lambda'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: mu
@@ -159,7 +159,7 @@ representations:
string_constant: '𝜇'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\mu'
+ string_constant: '\mu'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: nu
@@ -172,7 +172,7 @@ representations:
string_constant: '𝜈'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\nu'
+ string_constant: '\nu'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: xi
@@ -185,7 +185,7 @@ representations:
string_constant: '𝜉'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\xi'
+ string_constant: '\xi'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: omicron
@@ -198,7 +198,7 @@ representations:
string_constant: '𝜊'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\omicron'
+ string_constant: '\omicron'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: pi
@@ -211,7 +211,7 @@ representations:
string_constant: '𝜋'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\pi'
+ string_constant: '\pi'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: rho
@@ -224,7 +224,7 @@ representations:
string_constant: '𝜌'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\rho'
+ string_constant: '\rho'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: sigma
@@ -237,7 +237,7 @@ representations:
string_constant: '𝜎'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\sigma'
+ string_constant: '\sigma'
tags: { connector_representation: symbol, technical_language: latex_math }
- slug: tau
@@ -250,5 +250,6 @@ representations:
string_constant: '𝜏'
tags: { connector_representation: symbol, technical_language: unicode_extended }
- implementation: string_constant
- string_constant: '\\tau'
+ string_constant: '\tau'
tags: { connector_representation: symbol, technical_language: latex_math }
+
diff --git a/src/punctilious/data/representations/greek_alphabet_uppercase_serif_italic.py b/src/punctilious/data/representations/greek_alphabet_uppercase_serif_italic.py
index 44cb84e0d..f1a92fa4c 100644
--- a/src/punctilious/data/representations/greek_alphabet_uppercase_serif_italic.py
+++ b/src/punctilious/data/representations/greek_alphabet_uppercase_serif_italic.py
@@ -24,10 +24,94 @@ def __new__(cls, *args, **kwargs):
def alpha(self) -> _presentation.Representation:
return self.representations.get_from_slug('alpha')
+ @property
+ def beta(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('beta')
+
+ @property
+ def gamma(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('gamma')
+
+ @property
+ def delta(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('delta')
+
+ @property
+ def epsilon(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('epsilon')
+
+ @property
+ def zeta(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('zeta')
+
+ @property
+ def eta(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('eta')
+
+ @property
+ def theta(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('theta')
+
+ @property
+ def iota(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('iota')
+
+ @property
+ def kappa(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('kappa')
+
+ @property
+ def lambda2(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('lambda')
+
+ @property
+ def mu(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('mu')
+
+ @property
+ def nu(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('nu')
+
+ @property
+ def xi(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('xi')
+
+ @property
+ def omicron(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('omicron')
+
+ @property
+ def pi(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('pi')
+
+ @property
+ def rho(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('rho')
+
+ @property
+ def sigma(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('sigma')
+
+ @property
+ def tau(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('tau')
+
+ @property
+ def upsilon(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('upsilon')
+
@property
def phi(self) -> _presentation.Representation:
return self.representations.get_from_slug('phi')
+ @property
+ def chi(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('chi')
+
@property
def psi(self) -> _presentation.Representation:
return self.representations.get_from_slug('psi')
+
+ @property
+ def omega(self) -> _presentation.Representation:
+ return self.representations.get_from_slug('omega')
diff --git a/src/punctilious/data/representations/greek_alphabet_uppercase_serif_italic.yaml b/src/punctilious/data/representations/greek_alphabet_uppercase_serif_italic.yaml
index c43e59ec0..b771eaa07 100644
--- a/src/punctilious/data/representations/greek_alphabet_uppercase_serif_italic.yaml
+++ b/src/punctilious/data/representations/greek_alphabet_uppercase_serif_italic.yaml
@@ -1,46 +1,339 @@
schema: http://punctilious.org/data/schemas/punctilious_package_schema_1.yaml
-uuid4: 07605b78-08dd-4cb4-b411-0e12ef2106b7
+uuid4: 7edf82f0-5a28-4066-81b0-c1b6bd517199
slug: greek_alphabet_uppercase_serif_italic
+# source:
+# https://en.wikipedia.org/wiki/Mathematical_Alphanumeric_Symbols
representations:
+
- slug: alpha
- uuid4: 3ad2f8d7-ec94-4690-ae49-2d0063573928
- syntactic_rules:
- fixed_arity: 0
- renderers:
- - mode: symbolic
- encoding: unicode_basic
- template: "Alpha"
- - mode: symbolic
- encoding: unicode_extended
- template: "𝛢"
- - mode: symbolic
- encoding: latex_math
- template: "\\Alpha"
+ uuid4: e1962144-76aa-44dc-a320-a0f3dd703dbd
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Alpha'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛢'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Alpha'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: beta
+ uuid4: 8afa1432-998c-4be0-ae6f-d1b0584c401d
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Beta'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛣'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Beta'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: gamma
+ uuid4: e5530749-e22e-4649-9a91-be536cfa3fff
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Gamma'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛤'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Gamma'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: delta
+ uuid4: 12c7ea75-b774-47fd-9858-e66e648e1487
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Delta'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛥'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Delta'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: epsilon
+ uuid4: d90c0b08-bd77-433d-81e2-4f9fc999d5b0
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Epsilon'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛦'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Epsilon'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: zeta
+ uuid4: f9387ef6-48d8-4465-b381-c374b53277f2
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Zeta'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛧'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Zeta'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: eta
+ uuid4: e081aac6-6c4b-4008-9aed-d1b45d260eb0
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Eta'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛨'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Eta'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: theta
+ uuid4: 2150d4ca-36d4-4a48-97e2-1cfda1c1b5c4
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Theta'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛩'
+ tags: { connector_representation: symbol, technical_language: unicode_extended, variant: default }
+ - implementation: string_constant
+ string_constant: '𝛳'
+ tags: { connector_representation: symbol, technical_language: unicode_extended, variant: symbol }
+ - implementation: string_constant
+ string_constant: '\Theta'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+
+ - slug: iota
+ uuid4: 73c5ea9a-b2a4-4d11-ae50-1e04f488ff23
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Iota'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛪'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Iota'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: kappa
+ uuid4: 1fd629db-5fbc-4f9e-aed6-ac03d8e2cb47
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Kappa'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛫'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Kappa'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+
+ - slug: lambda
+ uuid4: efbaeb01-e523-4d08-97ee-b6d08baa6038
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Lambda'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛬'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Lambda'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: mu
+ uuid4: 64c2db7c-d125-4238-b687-94b68b93f617
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Mu'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛭'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Mu'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: nu
+ uuid4: c3219ff8-fbcc-4c3b-9f42-7750087cce22
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Nu'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛮'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Nu'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: xi
+ uuid4: c786398a-40ee-43df-b9a7-a10e050df4d1
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Xi'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛯'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Xi'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: omicron
+ uuid4: 70717622-1d35-4fb6-9682-3c06a7c397a8
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Omicron'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛰'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Omicron'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: pi
+ uuid4: 6e35b035-b7c2-46a7-92da-f3d574cbd0be
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Pi'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛱'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Pi'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: rho
+ uuid4: d852d525-a68e-4b5a-b12a-35dc11270f80
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Rho'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛲'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Rho'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: sigma
+ uuid4: c50925f5-6ac8-4587-b816-73aa4c1dc2e0
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Sigma'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛴'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Sigma'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: tau
+ uuid4: 4ee7ef40-1ea2-450e-a648-d1a73fdf4c70
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Tau'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛵'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Tau'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+
+ - slug: upsilon
+ uuid4: 1b02f0d8-4ced-4b6f-8760-ee92daeb1da2
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Upsilon'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛶'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Upsilon'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+
- slug: phi
- uuid4: 236c0d2c-3242-4625-9de7-3978ef0e4daf
- syntactic_rules:
- fixed_arity: 0
- renderers:
- - mode: symbolic
- encoding: unicode_basic
- template: "Phi"
- - mode: symbolic
- encoding: unicode_extended
- template: "𝛷"
- - mode: symbolic
- encoding: latex_math
- template: "\\mathit\\Phi"
+ uuid4: 9f078f4e-6677-4535-9541-78d99d3d2daa
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Phi'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛷'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Phi'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: chi
+ uuid4: 1b7575a9-2537-498d-9900-c4ce8334e7a1
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Chi'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛸'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Chi'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
- slug: psi
- uuid4: 6df39475-ddc6-44f4-a95c-c94455a84de5
- syntactic_rules:
- fixed_arity: 0
- renderers:
- - mode: symbolic
- encoding: unicode_basic
- template: "Psi"
- - mode: symbolic
- encoding: unicode_extended
- template: "𝛹"
- - mode: symbolic
- encoding: latex_math
- template: "\\mathit\\Psi"
+ uuid4: f8154def-7b2d-4ed1-a411-cba01738d73b
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Psi'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛹'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Psi'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+
+ - slug: omega
+ uuid4: 32c0fe5e-0454-4ac9-a64e-252d45be5752
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Omega'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛺'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Omega'
+ tags: { connector_representation: symbol, technical_language: latex_math }
+
+ - slug: nabla
+ uuid4: 7681aa6d-92ba-4be1-b59b-d2067af67808
+ renderers:
+ - implementation: string_constant
+ string_constant: 'Nabla'
+ tags: { connector_representation: word, technical_language: unicode_basic }
+ - implementation: string_constant
+ string_constant: '𝛻'
+ tags: { connector_representation: symbol, technical_language: unicode_extended }
+ - implementation: string_constant
+ string_constant: '\Nabla'
+ tags: { connector_representation: symbol, technical_language: latex_math }
\ No newline at end of file
diff --git a/src/punctilious/presentation.py b/src/punctilious/presentation.py
index 949eb4286..4b6000dc7 100644
--- a/src/punctilious/presentation.py
+++ b/src/punctilious/presentation.py
@@ -349,3 +349,13 @@ def score_tags(self, tags: TagsAssignment | collections.abc.Iterable):
if not isinstance(tags, TagsAssignment):
tags: TagsAssignment = TagsAssignment(*tags)
return sum(self.get(tag, 0) for tag in tags)
+
+
+# Common labels and values.
+symbol = Tag('connector_presentation', 'symbol', )
+en = Tag('language', 'en', )
+fr = Tag('language', 'fr', )
+unicode_basic = Tag('technical_language', 'unicode_basic', )
+unicode_extended = Tag('technical_language', 'unicode_extended', )
+latex_math = Tag('technical_language', 'latex_math', )
+parenthesized = Tag('parenthesization', 'parenthesized', )
diff --git a/tests/__pycache__/test_greek.cpython-312-pytest-8.3.2.pyc b/tests/__pycache__/test_greek.cpython-312-pytest-8.3.2.pyc
new file mode 100644
index 000000000..6fca6ac3b
Binary files /dev/null and b/tests/__pycache__/test_greek.cpython-312-pytest-8.3.2.pyc differ
diff --git a/tests/__pycache__/test_greek_alphabet_uppercase_serif_italic.cpython-312-pytest-8.3.2.pyc b/tests/__pycache__/test_greek_alphabet_uppercase_serif_italic.cpython-312-pytest-8.3.2.pyc
new file mode 100644
index 000000000..748b58a39
Binary files /dev/null and b/tests/__pycache__/test_greek_alphabet_uppercase_serif_italic.cpython-312-pytest-8.3.2.pyc differ
diff --git a/tests/__pycache__/test_presentation.cpython-312-pytest-8.3.2.pyc b/tests/__pycache__/test_presentation.cpython-312-pytest-8.3.2.pyc
index ab53763b7..5f0d022f7 100644
Binary files a/tests/__pycache__/test_presentation.cpython-312-pytest-8.3.2.pyc and b/tests/__pycache__/test_presentation.cpython-312-pytest-8.3.2.pyc differ
diff --git a/tests/test_greek_alphabet_uppercase_serif_italic.py b/tests/test_greek_alphabet_uppercase_serif_italic.py
new file mode 100644
index 000000000..06a60313a
--- /dev/null
+++ b/tests/test_greek_alphabet_uppercase_serif_italic.py
@@ -0,0 +1,17 @@
+import pytest
+import punctilious as pu
+
+
+class TestGreekAlphabetLowercaseSerifItalic:
+ def test_greek_alphabet_lowercase_serif_italic(self):
+ """Test of representation with multiple string-constant renderers.
+ """
+ pass
+ prefs = pu.presentation.TagsPreferences()
+ prefs[pu.presentation.unicode_basic] = 2
+ assert (pu.greek_alphabet_uppercase_serif_italic.phi.rep(prefs=prefs) == 'Phi')
+ prefs[pu.presentation.unicode_extended] = 3
+ assert (pu.greek_alphabet_uppercase_serif_italic.phi.rep(prefs=prefs) == '𝛷')
+ prefs[pu.presentation.latex_math] = 4
+ assert (pu.greek_alphabet_uppercase_serif_italic.phi.rep(prefs=prefs) == f'\\Phi')
+ pass