From 1352994346ee78a0d4140c65e61822aca12229c2 Mon Sep 17 00:00:00 2001 From: Iain McGinniss Date: Tue, 19 Feb 2013 21:17:30 +0000 Subject: use \sigma instead of raw unicode character in math mode, as it does not render in the PDF otherwise. --- 05-types.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '05-types.md') diff --git a/05-types.md b/05-types.md index a5268bf0e6..3f9ca809f5 100644 --- a/05-types.md +++ b/05-types.md @@ -172,7 +172,7 @@ parameters $a_1 , \ldots , a_n$. Say the type parameters have lower bounds $L_1 , \ldots , L_n$ and upper bounds $U_1 , \ldots , U_n$. The parameterized type is well-formed if each actual type parameter -_conforms to its bounds_, i.e. $σ L_i <: T_i <: σ U_i$ where $σ$ is the +_conforms to its bounds_, i.e. $\sigma L_i <: T_i <: \sigma U_i$ where $\sigma$ is the substitution $[ a_1 := T_1 , \ldots , a_n := T_n ]$. (@param-types) Given the partial type definitions: -- cgit v1.2.3