public static MvcHtmlString ToHtmlString( And expression, bool link = true)
{
return MvcHtmlString.Create (string.Format("{0} ∧ {1}",
Embed(expression, expression.Left, expression.Left.ToHtmlString(link)),
Embed(expression, expression.Right, expression.Right.ToHtmlString(link))
));
}
private static string ToHtmlString(And expression)
{
return string.Format("{0} ∧ {1}",
Parenthesize(expression, expression.Left, ToHtmlString(expression.Left)),
Parenthesize(expression, expression.Right, ToHtmlString(expression.Right))
);
}