+/** Create a Clifford unity object.
+ *
+ * @param rl Representation label
+ * @return newly constructed object */
+ex dirac_ONE(unsigned char rl = 0);
+
+/** Create a Dirac gamma object.
+ *
+ * @param mu Index (must be of class varidx or a derived class)
+ * @param rl Representation label
+ * @return newly constructed gamma object */
+ex dirac_gamma(const ex & mu, unsigned char rl = 0);
+
+/** Create a Dirac gamma5 object.
+ *
+ * @param rl Representation label
+ * @return newly constructed object */
+ex dirac_gamma5(unsigned char rl = 0);
+
+/** Create a Dirac gammaL object.
+ *
+ * @param rl Representation label
+ * @return newly constructed object */
+ex dirac_gammaL(unsigned char rl = 0);
+
+/** Create a Dirac gammaR object.
+ *
+ * @param rl Representation label
+ * @return newly constructed object */
+ex dirac_gammaR(unsigned char rl = 0);
+
+/** Create a term of the form e_mu * gamma~mu with a unique index mu.
+ *
+ * @param e Original expression
+ * @param dim Dimension of index
+ * @param rl Representation label */
+ex dirac_slash(const ex & e, const ex & dim, unsigned char rl = 0);
+
+/** Calculate the trace of an expression containing gamma objects with
+ * a specified representation label. The computed trace is a linear
+ * functional that is equal to the usual trace only in D = 4 dimensions.
+ * In particular, the functional is not always cyclic in D != 4 dimensions
+ * when gamma5 is involved.
+ *
+ * @param e Expression to take the trace of
+ * @param rl Representation label
+ * @param trONE Expression to be returned as the trace of the unit matrix */
+ex dirac_trace(const ex & e, unsigned char rl = 0, const ex & trONE = 4);
+
+/** Bring all products of clifford objects in an expression into a canonical
+ * order. This is not necessarily the most simple form but it will allow
+ * to check two expressions for equality. */
+ex canonicalize_clifford(const ex & e);