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).