;;;;;
;;;;;
;;;;; Mathematical Constants
;;;;;
;;;;;

(define $pi π)

(define $Minkowski-metric [| [| -1 0 0 0 |] [| 0 1 0 0 |] [| 0 0 1 0 |] [| 0 0 0 1 |] |])