diff --git a/report.tex b/report.tex index 756d3bf..7a9ce0d 100644 --- a/report.tex +++ b/report.tex @@ -258,7 +258,7 @@ std/.style={sys, fill=blue!8}, fo/.style={sys, fill=red!10, very thick}, rel/.style={->, thick}, - weak/.style={->, semithick, dashed} + weak/.style={->, semithick, dashed}, equv/.style={<->, thick} ]