The pretty printing of record values uses the mathematical "element of" /in operator. This is confusing, ideally one should just use the colon :
The screenshot below shows the result for the value rec(a:12,b:TRUE)