content: -- Generated by xtask - DO NOT EDIT
  -- SCL Symbol System - Haskell Module
  
  module SCL.Symbols where
  
  import qualified Data.Map as Map
  
  bridge :: String
  bridge = "☲"
  
  q_e_d :: String
  q_e_d = "∎"
  
  definition :: String
  definition = ":="
  
  equivalence :: String
  equivalence = "↔"
  
  mapping :: String
  mapping = "→"
  
  proportional :: String
  proportional = "∝"
  
  morphism :: String
  morphism = "⇢"
  
  congruent :: String
  congruent = "≡"
  
  entails :: String
  entails = "⊢"
  
  adjoint :: String
  adjoint = "⊣"
  
  book_marker :: String
  book_marker = "📖"
  
  generation_marker :: String
  generation_marker = "🔮"
  
  insight_marker :: String
  insight_marker = "⚡"
  
  recursion_marker :: String
  recursion_marker = "🌀"
  
  target_marker :: String
  target_marker = "🎯"
  
  link_marker :: String
  link_marker = "🔗"
  
  second_derivative :: String
  second_derivative = "∂²"
  
  surface_integral :: String
  surface_integral = "∫∫"
  
  left_scope :: String
  left_scope = "⟮"
  
  right_scope :: String
  right_scope = "⟯"
  
  time_derivative :: String
  time_derivative = "∂ₜ"
  
  space_derivative :: String
  space_derivative = "∂ₓ"
  
  left_centroid :: String
  left_centroid = "⟦"
  
  right_centroid :: String
  right_centroid = "⟧"
  
  latent_field :: String
  latent_field = "Ψ"
  
  abstraction :: String
  abstraction = "λ"
  
  models :: String
  models = "⊨"
  
  interpretation :: String
  interpretation = "ℐ"
  
  phi_function :: String
  phi_function = "Φ"
  
  omega_limit :: String
  omega_limit = "Ω"
  
  fixpoint :: String
  fixpoint = "μ"
  
  projection :: String
  projection = "π"
  
  summation :: String
  summation = "Σ"
  
  product :: String
  product = "Π"
  
  aleph :: String
  aleph = "ℵ"
  
  beta_reduction :: String
  beta_reduction = "ℬ"
  
  necessary :: String
  necessary = "□"
  
  possible :: String
  possible = "◇"
  
  always :: String
  always = "●"
  
  eventually :: String
  eventually = "○"
  
  sometimes :: String
  sometimes = "◐"
  
  rarely :: String
  rarely = "◑"
  
  phase_one :: String
  phase_one = "①"
  
  phase_two :: String
  phase_two = "②"
  
  phase_three :: String
  phase_three = "③"
  
  phase_four :: String
  phase_four = "④"
  
  phase_five :: String
  phase_five = "⑤"
  
  phase_transition :: String
  phase_transition = "⊰"
  
  forces :: String
  forces = "⊧"
  
  isomorphic :: String
  isomorphic = "≅"
  
  entropy :: String
  entropy = "ℋ"
  
  syntactic_entailment :: String
  syntactic_entailment = "⊩"
  
  approximately_equal :: String
  approximately_equal = "≈"
  
  not_models :: String
  not_models = "⊭"
  
  left_compression :: String
  left_compression = "⟨"
  
  right_compression :: String
  right_compression = "⟩"
  
  deep_left :: String
  deep_left = "⟪"
  
  deep_right :: String
  deep_right = "⟫"
  
  meta_left :: String
  meta_left = "⟬"
  
  meta_right :: String
  meta_right = "⟭"
  
  convolution :: String
  convolution = "⋆"
  
  tensor_product :: String
  tensor_product = "⊗"
  
  direct_sum :: String
  direct_sum = "⨁"
  
  hadamard_product :: String
  hadamard_product = "⊙"
  
  convolution_product :: String
  convolution_product = "⊛"
  
  emergence_vector :: String
  emergence_vector = "↗"
  
  boundary :: String
  boundary = "∂"
  
  gradient :: String
  gradient = "∇"
  
  contour_integral :: String
  contour_integral = "∮"
  
  integral :: String
  integral = "∫"
  
  emergence_shock :: String
  emergence_shock = "↯"
  
  emergence_surge :: String
  emergence_surge = "↱"
  
  exclusive_or :: String
  exclusive_or = "⊕"
  
  intersection :: String
  intersection = "∩"
  
  conjunction :: String
  conjunction = "∧"
  
  disjunction :: String
  disjunction = "∨"
  
  universal :: String
  universal = "∀"
  
  existential :: String
  existential = "∃"
  
  element_of :: String
  element_of = "∈"
  
  not_element_of :: String
  not_element_of = "∉"
  
  negation :: String
  negation = "¬"
  
  implication :: String
  implication = "⇒"
  
  union :: String
  union = "∪"
  
  subset :: String
  subset = "⊆"
  
  false :: String
  false = "⊥"
  
  true :: String
  true = "⊤"
  
  set_difference :: String
  set_difference = "∖"
  
  cartesian_product :: String
  cartesian_product = "×"
  
  proper_subset :: String
  proper_subset = "⊏"
  
  proper_superset :: String
  proper_superset = "⊐"
  
  supremum :: String
  supremum = "⊔"
  
  infimum :: String
  infimum = "⊓"
  
  