| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Math.Matrix.Unicode
Description
To use these, use emacs "Options/Select input method" and choose TeX.
Then enter the symbol by using backslash and the indicated name.
for prefix operators, it's necessary to use parenthesis in applications.
ctrl-\ changes whether expansions occur.
Alternatively it's possible to use M-x insert-char to insert unicode characters
Synopsis
- (∈) :: BinaryLogic p => a -> p a -> Bool
- (∉) :: BinaryLogic p => a -> p a -> Bool
- (∑) :: VectorSpace a => [a] -> a
- (∗) :: VectorSpace v => Scalar v -> v -> v
- (·) :: InnerProductSpace v => v -> v -> Scalar v
- (¬) :: VectorSpace a => a -> a
- (×) :: LieAlgebra a => a -> a -> a
- (∏) :: Num a => [a] -> a
- (⋱) :: Diagonalizable m a => (m :*: m) a -> m a
- (⊕) :: VectorSpace v => v -> v -> v
- (⊖) :: VectorSpace v => v -> v -> v
- (⊗) :: (Num a, Functor m, Functor n) => m a -> n a -> (m :*: n) a
- (⊗⊗) :: SupportsMatrixMultiplication g h f a => (g :*: h) a -> (h :*: f) a -> (g :*: f) a
- (⊠) :: LieAlgebra m => m -> m -> m
Documentation
(∈) :: BinaryLogic p => a -> p a -> Bool Source #
in
(∉) :: BinaryLogic p => a -> p a -> Bool Source #
notin
(∑) :: VectorSpace a => [a] -> a Source #
sum
(∗) :: VectorSpace v => Scalar v -> v -> v Source #
ast
(·) :: InnerProductSpace v => v -> v -> Scalar v Source #
cdot
(¬) :: VectorSpace a => a -> a Source #
neg
(×) :: LieAlgebra a => a -> a -> a Source #
times
(⋱) :: Diagonalizable m a => (m :*: m) a -> m a Source #
ddots
(⊕) :: VectorSpace v => v -> v -> v Source #
oplus
(⊖) :: VectorSpace v => v -> v -> v Source #
ominus
(⊗) :: (Num a, Functor m, Functor n) => m a -> n a -> (m :*: n) a Source #
Unicode for tensor product. ("CIRCLED TIMES" character)
(⊗⊗) :: SupportsMatrixMultiplication g h f a => (g :*: h) a -> (h :*: f) a -> (g :*: f) a Source #
otimes
(⊠) :: LieAlgebra m => m -> m -> m Source #
boxtimes