public class DelimiterFactory
extends java.lang.Object
| Constructor and Description |
|---|
DelimiterFactory() |
| Modifier and Type | Method and 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).