161 reputation
5
bio website
location
age 33
visits member for 2 years, 3 months
seen Nov 26 at 6:36

Aug
14
comment What is the best way to automatically replace $$ … $$ by \[ … \] in multiple files?
@Mico: I'd like to have a universal solution, independent of the $$ placement.
Aug
14
awarded  Custodian
Aug
14
awarded  Editor
Aug
14
revised What is the best way to automatically replace $$ … $$ by \[ … \] in multiple files?
deleted 2 characters in body
Aug
14
reviewed Approve What is the best way to automatically replace $$ … $$ by \[ … \] in multiple files?
Aug
14
asked What is the best way to automatically replace $$ … $$ by \[ … \] in multiple files?
Jan
4
awarded  Nice Question
Jan
2
awarded  Student
Jan
2
asked What benefits can I get from using utf-8 encoding instead of cp1251 for Russian?
Aug
30
awarded  Supporter