|visits||member for||3 years, 10 months|
|seen||Dec 19 '14 at 11:07|
PhD student in numerical general relativity with a keen interest in high-performance computing, C++, and anything to do with programming.
Changing the font for braces
@mforbes Sorry, I guess I could've been clearer with my question. No, the font doesn't provide large delimiters which is why I thought I shouldn't use