diff --git a/CAS/Dumb/Symbols.hs b/CAS/Dumb/Symbols.hs
--- a/CAS/Dumb/Symbols.hs
+++ b/CAS/Dumb/Symbols.hs
@@ -150,6 +150,14 @@
                    | AtFunctionArgument
                    deriving (Eq)
 
+expressionFixity :: AlgebraExpr σ c -> Maybe Hs.Fixity
+expressionFixity (Symbol _) = Nothing
+expressionFixity (Function _ _) = Nothing
+expressionFixity (Operator (Infix fxty _) _ _) = Just fxty
+expressionFixity (OperatorChain _ ((Infix fxty _,_):_)) = Just fxty
+expressionFixity (OperatorChain x₀ []) = expressionFixity x₀
+expressionFixity (Gap _) = Nothing
+
 renderSymbolExpression :: ∀ σ c r . (SymbolClass σ, SCConstraint σ c)
          => ContextFixity -> RenderingCombinator σ c r
                     -> AlgebraExpr σ c -> r
diff --git a/dumb-cas.cabal b/dumb-cas.cabal
--- a/dumb-cas.cabal
+++ b/dumb-cas.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                dumb-cas
-version:             0.1.1.1
+version:             0.1.2.0
 synopsis:            A computer “algebra” system that knows nothing about algebra, at the core.
 description:         This is a framework for untyped, symbolic computations like a CAS
                      does, without any baked-in rules whatsoever but the ability to