public class DelimiterFactory
extends java.lang.Object
Constructor | Description |
---|---|
DelimiterFactory() |
Modifier and Type | Method | Description |
---|---|---|
static Box |
create(java.lang.String symbol,
TeXEnvironment env,
float minHeight) |
|
static Box |
create(SymbolAtom symbol,
TeXEnvironment env,
int size) |
public static Box create(SymbolAtom symbol, TeXEnvironment env, int size)
public static Box create(java.lang.String symbol, TeXEnvironment env, float minHeight)
symbol
- the name of the delimiter symbolenv
- the TeXEnvironment in which to create the delimiter boxminHeight
- the minimum required total height of the box (height + depth).