From a7491394ee2d9babe9e59a384a15aeb94bd82430 Mon Sep 17 00:00:00 2001 From: tomo Date: Thu, 4 Aug 2005 08:16:26 +0000 Subject: [PATCH] (): Use `<-font/double-struck' instead of `=decomposition' for '. (